diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-10-11 08:51:38 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-10-12 20:38:44 +0200 |
| commit | 661ee3a26903ff58fd57f4f4396a748950ba3570 (patch) | |
| tree | da7e270db9880cb9a4725b7c3760081ad37c1e72 /pkgs/applications/science/logic/coq | |
| parent | d451ea73dc8b4ed51d2a534f9c7b6e64268c3271 (diff) | |
coq_8_16: use OCaml 4.14
Diffstat (limited to 'pkgs/applications/science/logic/coq')
| -rw-r--r-- | pkgs/applications/science/logic/coq/default.nix | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index f1ec27642fec9..a258c4f5cea7d 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -7,7 +7,9 @@ { lib, stdenv, fetchzip, writeText, pkg-config, gnumake42 , customOCamlPackages ? null -, ocamlPackages_4_05, ocamlPackages_4_09, ocamlPackages_4_10, ocamlPackages_4_12, ncurses +, ocamlPackages_4_05, ocamlPackages_4_09, ocamlPackages_4_10, ocamlPackages_4_12 +, ocamlPackages_4_14 +, ncurses , buildIde ? null # default is true for Coq < 8.14 and false for Coq >= 8.14 , glib, gnome, wrapGAppsHook, makeDesktopItem, copyDesktopItems , csdp ? null @@ -68,11 +70,12 @@ let '' else ""; ocamlPackages = if !isNull customOCamlPackages then customOCamlPackages else with versions; switch coq-version [ - { case = range "8.14" "8.14"; out = ocamlPackages_4_12; } + { case = range "8.16" "8.17"; out = ocamlPackages_4_14; } + { case = range "8.14" "8.15"; out = ocamlPackages_4_12; } { case = range "8.11" "8.13"; out = ocamlPackages_4_10; } { case = range "8.7" "8.10"; out = ocamlPackages_4_09; } { case = range "8.5" "8.6"; out = ocamlPackages_4_05; } - ] ocamlPackages_4_12; + ] ocamlPackages_4_14; ocamlNativeBuildInputs = with ocamlPackages; [ ocaml findlib ] ++ optional (coqAtLeast "8.14") dune_2; ocamlPropagatedBuildInputs = [ ] |