diff options
| author | Emilio Jesus Gallego Arias | 2018-09-26 22:49:20 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-10-11 14:32:33 +0200 |
| commit | 9e39d88ffb5829a9e2c82fbf54c0765a819b3e5e (patch) | |
| tree | 09f31d1d171db723e39d73e7171ff996963a2cc3 /Makefile.dune | |
| parent | dc5dbc992727fb807fa56763f8f71d79f598fd6a (diff) | |
[dune] [test-suite] Support for running the test suite with Dune.
Diffstat (limited to 'Makefile.dune')
| -rw-r--r-- | Makefile.dune | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Makefile.dune b/Makefile.dune index d9c1452cae..298a27c93e 100644 --- a/Makefile.dune +++ b/Makefile.dune @@ -1,7 +1,7 @@ # -*- mode: makefile -*- # Dune Makefile for Coq -.PHONY: voboot states world watch release apidoc ocheck ireport clean help +.PHONY: help voboot states world watch test-suite release apidoc ocheck ireport clean # use DUNEOPT=--display=short for a more verbose build # DUNEOPT=--display=short @@ -13,6 +13,7 @@ help: @echo " - states: build a minimal functional coqtop" @echo " - world: build all binaries and libraries" @echo " - watch: build all binaries and libraries [continuous build]" + @echo " - test-suite: run Coq's test suite" @echo " - release: build Coq in release mode" @echo " - apidoc: build ML API documentation" @echo " - ocheck: build for all supported OCaml versions [requires OPAM]" @@ -33,6 +34,9 @@ world: voboot watch: voboot dune build $(DUNEOPT) @install -w +test-suite: voboot + dune $(DUNEOPT) runtest + release: voboot dune build $(DUNEOPT) -p coq |