dune « driver - vericert-kvx - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/driver/dune

blob: 583f201b22688623ee1d3505093b461853ecf7b3 (plain)

(include_subdirs no)

(executables
 (names Driver)
 (libraries coqup))

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