diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-09-18 15:05:38 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-09-25 18:17:15 +0200 |
commit | 60f34d39195a63b0f0c91772f2e7130ab8869116 (patch) | |
tree | b07d6b20a15966012ac59715a0d288897fd6d5ad /pkgs/development/coq-modules/serapi | |
parent | dbf8bba95bea7255565d6f4862ac515944f45254 (diff) |
coqPackages.serapi: init at 8.16.0+0.16.0 for Coq 8.16
Diffstat (limited to 'pkgs/development/coq-modules/serapi')
-rw-r--r-- | pkgs/development/coq-modules/serapi/default.nix | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/serapi/default.nix b/pkgs/development/coq-modules/serapi/default.nix index 65643fc2ea69c..7c3b656da9138 100644 --- a/pkgs/development/coq-modules/serapi/default.nix +++ b/pkgs/development/coq-modules/serapi/default.nix @@ -2,6 +2,7 @@ let release = { + "8.16.0+0.16.0".sha256 = "sha256-Of5vO6wvqGyxagjGuuY3qCiLKbBr3VzLHiIn9U2R21E="; "8.15.0+0.15.0".sha256 = "1vh99ya2dq6a8xl2jrilgs0rpj4j227qx8zvzd2v5xylx0p4bbrp"; "8.14.0+0.14.0".sha256 = "1kh80yb791yl771qbqkvwhbhydfii23a7lql0jgifvllm2k8hd8d"; "8.13.0+0.13.0".sha256 = "0k69907xn4k61w4mkhwf8kh8drw9pijk9ynijsppihw98j8w38fy"; @@ -17,6 +18,7 @@ in defaultVersion = with versions; switch coq.version [ + { case = isEq "8.16"; out = "8.16.0+0.16.0"; } { case = isEq "8.15"; out = "8.15.0+0.15.0"; } { case = isEq "8.14"; out = "8.14.0+0.14.0"; } { case = isEq "8.13"; out = "8.13.0+0.13.0"; } @@ -78,7 +80,15 @@ in then [ ./8.12.0+0.12.1.patch ] - else [ + else if version == "8.14.0+0.14.0" || version == "8.15.0+0.15.0" + then [ ./janestreet-0.15.patch + ] + else [ ]; + + propagatedBuildInputs = o.propagatedBuildInputs ++ + lib.optional (version == "8.16.0+0.16.0" || version == "dev") coq.ocamlPackages.ppx_hash + ; + }) |