diff options
| -rw-r--r-- | Makefile.dune | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.dune b/Makefile.dune index 78ecc4b056..e3a8a30bc2 100644 --- a/Makefile.dune +++ b/Makefile.dune @@ -91,9 +91,9 @@ ocheck: voboot dune build $(DUNEOPT) @install --workspace=dev/dune-workspace.all trunk: - dune build $(DUNEOPT) --profile=ocaml408 @vodeps + dune build $(DUNEOPT) --profile=ocaml409 @vodeps dune exec coq_dune $(BUILD_CONTEXT)/.vfiles.d - dune build $(DUNEOPT) --profile=ocaml408 coq.install coqide-server.install + dune build $(DUNEOPT) --profile=ocaml409 coq.install coqide-server.install ireport: dune clean |