diff options
author | Théo Zimmermann <theo.zimmermann@telecom-paris.fr> | 2023-06-13 18:59:38 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-06-14 14:33:36 +0200 |
commit | 2bdeec6f846129932d9921d2192fdbcfb190b036 (patch) | |
tree | 4100166f6002d2727cb01f86f49644b2c650fe3e /pkgs/applications/science/logic/coq | |
parent | fa261740df4e8075c873891938aaa09018def53a (diff) |
coq: use dune_3
This is needed to build Coq dev and is compatible with all current releases of Coq that require Dune.
Diffstat (limited to 'pkgs/applications/science/logic/coq')
-rw-r--r-- | pkgs/applications/science/logic/coq/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index 81fab07ecbf8b..9cb6d4a96d6b1 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -79,7 +79,7 @@ let { case = range "8.5" "8.6"; out = ocamlPackages_4_05; } ] ocamlPackages_4_14; ocamlNativeBuildInputs = with ocamlPackages; [ ocaml findlib ] - ++ optional (coqAtLeast "8.14") dune_2; + ++ optional (coqAtLeast "8.14") dune_3; ocamlPropagatedBuildInputs = [ ] ++ optional (!coqAtLeast "8.10") ocamlPackages.camlp5 ++ optional (!coqAtLeast "8.13") ocamlPackages.num |