b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

coqPackages.compcert: enable for Coq 8.16

Browse source
This commit is contained in:
Vincent Laporte 2022-10-04 09:40:05 +02:00 committed by Vincent Laporte
parent 68c381a6b3
commit a861c34a3e
1 changed files with 10 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
pkgs/development/coq-modules/compcert/default.nix
View file

@ -16,7 +16,7 @@ let compcert = mkCoqDerivation rec {
releaseRev = v: "v${v}";
defaultVersion = with versions; switch coq.version [
{ case = range "8.14" "8.15"; out = "3.11"; }
{ case = range "8.14" "8.16"; out = "3.11"; }
{ case = isEq "8.13" ; out = "3.10"; }
{ case = isEq "8.12" ; out = "3.9"; }
{ case = range "8.8" "8.11"; out = "3.8"; }
@ -138,6 +138,15 @@ compcert.overrideAttrs (o:
})
];
}
{ cases = [ (isEq "8.16") "3.11" ];
out = [
# Support for Coq 8.16.0
(fetchpatch {
url = "https://github.com/AbsInt/CompCert/commit/34be08a23d18d56f2dde24fd24b6dbe3bcb01ec3.patch";
sha256 = "sha256-a5YnftGVadVypEqrOYRRxI7YtGOEWyKnO4GqakFhvzI=";
})
];
}
] [];
}
)