(include_subdirs no)

(executable
 (name CoqupTest)
 (libraries coqup))