diff options
| author | Gaëtan Gilbert | 2019-10-02 16:41:11 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-10-02 16:41:11 +0200 |
| commit | b6f77dc89b62bdb43f2f07ba31b181a10dfcfc39 (patch) | |
| tree | 965d8872e7ddd3848c9e6f50d2efa4683803dd6c /Makefile.dune | |
| parent | 397fa7d34e100213855df7f3aa05ce4d497724e1 (diff) | |
| parent | 58a20d7268608a701a4cd8f51baaa7ba42d23f82 (diff) | |
Merge PR #10768: [ci] Update to OCaml 4.09.0, drop now useless "trunk" jobs.
Reviewed-by: SkySkimmer
Reviewed-by: Zimmi48
Diffstat (limited to 'Makefile.dune')
| -rw-r--r-- | Makefile.dune | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/Makefile.dune b/Makefile.dune index 88055d62dc..19e8a770bd 100644 --- a/Makefile.dune +++ b/Makefile.dune @@ -6,7 +6,7 @@ .PHONY: quickbyte quickopt quickide # Partial / quick developer targets .PHONY: refman-html stdlib-html apidoc # Documentation targets .PHONY: test-suite release # Accessory targets -.PHONY: ocheck trunk ireport clean # Maintenance targets +.PHONY: ocheck ireport clean # Maintenance targets # use DUNEOPT=--display=short for a more verbose build # DUNEOPT=--display=short @@ -36,7 +36,6 @@ 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" @@ -103,11 +102,6 @@ release: voboot ocheck: voboot dune build $(DUNEOPT) @install --workspace=dev/dune-workspace.all -trunk: - dune build $(DUNEOPT) --profile=ocaml409 @vodeps - dune exec coq_dune $(BUILD_CONTEXT)/.vfiles.d - dune build $(DUNEOPT) --profile=ocaml409 coq.install coqide-server.install - ireport: dune clean dune build $(DUNEOPT) @vodeps --profile=ireport |