(include_subdirs no)

(executable
 (name CoqupDriver)
 (libraries coqup))