(include_subdirs no)

(executable
 (name VericertDriver)
 (libraries vericert))