diff options
| author | Emilio Jesus Gallego Arias | 2019-02-07 01:10:43 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-02-07 01:10:43 +0100 |
| commit | f303af4dba41422104719a6d479d614dd4cd9fcb (patch) | |
| tree | 9e118e8351c9194bfc9f2ed365b071fa2c27aa5d | |
| parent | 7886c6d8e0663ba346fff52837012c7fc952ecc1 (diff) | |
[dune] Fix OCaml trunk build.
I forgot to change the profile call; we should find some better
solution but that's OK for now.
| -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 |