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 /src/dune | |
| parent | b298df2ab17f82e7ee113d9570df0a82fda53b17 (diff) | |
| download | vericert-e26873f36547eb85cf20314cbe0251488aaf7698.tar.gz vericert-e26873f36547eb85cf20314cbe0251488aaf7698.zip | |
Add main file and global building
Diffstat (limited to 'src/dune')
| -rw-r--r-- | src/dune | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/dune b/src/dune deleted file mode 100644 index d6dc7b8..0000000 --- a/src/dune +++ /dev/null @@ -1,6 +0,0 @@ -(include_subdirs unqualified) - -(library - (public_name coqup) - (libraries compcert) - (flags (:standard -warn-error -A))) |