1 2 3 4 5 6 7
(executables (names Driver) (libraries compcert coqup.verilog coqup.extraction)) (install (section bin) (files (Driver.exe as coqup)))