diff options
Diffstat (limited to 'dune')
| -rw-r--r-- | dune | 18 |
1 files changed, 14 insertions, 4 deletions
@@ -1,10 +1,15 @@ ; Default flags for all Coq libraries. (env (dev (flags :standard -rectypes -w -9-27-50+40+60)) - (release (flags :standard -rectypes)) - (ireport - (flags :standard -rectypes -w -9-27-50+40+60) - (ocamlopt_flags :standard -O3 -unbox-closures -inlining-report))) + (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 @@ -29,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)) |