(include_subdirs no)

(executables
 (names Driver)
 (libraries coqup))

(install
 (section bin)
 (files (Driver.exe as coqup)))