JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

coqPackages.contribs.containers: enable for Coq 8.9

Browse Source
This commit is contained in:
Vincent Laporte 2019-02-28 09:01:03 +00:00 committed by Vincent Laporte
parent 2923bd5d06
commit f23e6ec166
1 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
pkgs/development/coq-modules/contribs/default.nix
View File

@ -14,7 +14,9 @@ let mkContrib = repo: revs: param:
buildInputs = with coq.ocamlPackages; [ ocaml camlp5 findlib coq ];
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
installFlags =
stdenv.lib.optional (stdenv.lib.versionAtLeast coq.coq-version "8.9") "-f Makefile.coq"
++ [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];
passthru = {
compatibleCoqVersions = v: builtins.elem v revs;
@ -196,7 +198,7 @@ let mkContrib = repo: revs: param:
sha256 = "1ddwzg12pbzpnz3njin4zhpph92kscrbsn3bzds26yj8fp76zc33";
};
containers = mkContrib "containers" [ "8.6" "8.7" "8.8" ] {
containers = mkContrib "containers" [ "8.6" "8.7" "8.8" "8.9" ] {
"8.6" = {
version = "8.6.0";
rev = "fa1fec7";
@ -212,6 +214,11 @@ let mkContrib = repo: revs: param:
rev = "52b86bed1671321b25fe4d7495558f9f221b12aa";
sha256 = "0hbnrwdgryr52170cfrlbiymr88jsyxilnpr343vnprqq3zk1xz0";
};
"8.9" = {
version = "20190222";
rev = "aa33052c1edfc5a65885942a67c2773b5d96f8cc";
sha256 = "0mjgfdr9bzsch0dlk4vq1frkaig14dqh46r54cv0l15flxapg0iw";
};
}."${coq.coq-version}";
continuations = mkContrib "continuations" [ ] {