diff options
| author | Gaëtan Gilbert | 2018-12-17 14:51:31 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-12-17 14:51:31 +0100 |
| commit | 76d64fc2df0ddeb08e5ef0661ceee9fdba1da3b1 (patch) | |
| tree | 162792d1ba0b8c1a7a6396fc1e2042d4243aded6 /Makefile.dune | |
| parent | 854d3e1b404fb3ee9087ffb07cbba7cc9196c1f9 (diff) | |
| parent | 85b91b71abe7e60a9096ae31b9d0b4afda2189bb (diff) | |
Merge PR #8856: [gitlab] Test Ocaml trunk.
Diffstat (limited to 'Makefile.dune')
| -rw-r--r-- | Makefile.dune | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/Makefile.dune b/Makefile.dune index 4baf3402f1..22e3271260 100644 --- a/Makefile.dune +++ b/Makefile.dune @@ -4,7 +4,7 @@ .PHONY: help voboot states world watch check # Main developer targets .PHONY: quickbyte quickopt # Partial / quick developer targets .PHONY: test-suite refman-html apidoc release # Accesory targets -.PHONY: ocheck ireport clean # Maintenance targets +.PHONY: ocheck trunk ireport clean # Maintenance targets # use DUNEOPT=--display=short for a more verbose build # DUNEOPT=--display=short @@ -28,6 +28,7 @@ help: @echo " - release: build Coq in release mode" @echo "" @echo " - ocheck: build for all supported OCaml versions [requires OPAM]" + @echo " - trunk: build with a configuration compatible with OCaml trunk" @echo " - ireport: build with optimized flambda settings and emit an inline report" @echo " - clean: remove build directory and autogenerated files" @echo " - help: show this message" @@ -75,6 +76,11 @@ release: voboot ocheck: voboot dune build $(DUNEOPT) @install --workspace=dev/dune-workspace.all +trunk: + dune build $(DUNEOPT) --profile=ocaml408 @vodeps + dune exec coq_dune $(BUILD_CONTEXT)/.vfiles.d + dune build $(DUNEOPT) --profile=ocaml408 coq.install coqide-server.install + ireport: dune clean dune build $(DUNEOPT) @vodeps --profile=ireport |