(executables
 (flags (:standard -warn-error -A))
 (names driver)
 (libraries compcert))

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