diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-03-31 10:44:24 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-03-31 10:44:24 +0100 |
commit | e26873f36547eb85cf20314cbe0251488aaf7698 (patch) | |
tree | 8c2b23e2df615278efb61521a11f3d54cbd806e7 /driver/dune | |
parent | b298df2ab17f82e7ee113d9570df0a82fda53b17 (diff) | |
download | vericert-kvx-e26873f36547eb85cf20314cbe0251488aaf7698.tar.gz vericert-kvx-e26873f36547eb85cf20314cbe0251488aaf7698.zip |
Add main file and global building
Diffstat (limited to 'driver/dune')
-rw-r--r-- | driver/dune | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/driver/dune b/driver/dune index 583f201..5dbfcad 100644 --- a/driver/dune +++ b/driver/dune @@ -1,9 +1,5 @@ (include_subdirs no) -(executables - (names Driver) +(executable + (name CoqupDriver) (libraries coqup)) - -(install - (section bin) - (files (Driver.exe as coqup))) |