diff options
Diffstat (limited to 'src/dune')
-rw-r--r-- | src/dune | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -1,3 +1,6 @@ +(include_subdirs unqualified) + (library - (name CoqUp) - (public_name coqup)) + (public_name coqup) + (libraries compcert) + (flags (:standard -warn-error -A))) |