diff options
Diffstat (limited to 'dune')
| -rw-r--r-- | dune | 17 |
1 files changed, 15 insertions, 2 deletions
@@ -1,7 +1,15 @@ ; Default flags for all Coq libraries. (env - (dev (flags :standard -rectypes -w -9-27-50+60)) - (release (flags :standard -rectypes))) + (dev (flags :standard -rectypes -w -9-27-50+40+60)) + (release (flags :standard -rectypes) + (ocamlopt_flags -O3 -unbox-closures)) + (ireport (flags :standard -rectypes -w -9-27-50+40+60) + (ocamlopt_flags :standard -O3 -unbox-closures -inlining-report))) + +; The _ profile could help factoring the above, however it doesn't +; seem to work like we'd expect/like: +; +; (_ (flags :standard -rectypes))) ; Rules for coq_dune (rule @@ -26,3 +34,8 @@ (targets revision) (deps (:rev-script dev/tools/make_git_revision.sh)) (action (with-stdout-to revision (run %{rev-script})))) + +; Use summary.log as the target +(alias + (name runtest) + (deps test-suite/summary.log)) |