BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

coqPackages.compcert: enable for Coq 8.17

Browse source
This commit is contained in:
Vincent Laporte 2023-07-12 05:16:57 +02:00 committed by Vincent Laporte
parent 5c514d49ca
commit 84637a672b
2 changed files with 11 additions and 2 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

@ -14,7 +14,7 @@ let compcert = mkCoqDerivation rec {
releaseRev = v: "v${v}";
defaultVersion = with lib.versions; lib.switch coq.version [
{ case = range "8.14" "8.16"; out = "3.13"; }
{ case = range "8.14" "8.17"; out = "3.13"; }
{ case = isEq "8.13" ; out = "3.10"; }
{ case = isEq "8.12" ; out = "3.9"; }
{ case = range "8.8" "8.11"; out = "3.8"; }
@ -154,6 +154,15 @@ compcert.overrideAttrs (o:
})
];
}
{ cases = [ (isEq "8.17") (isEq "3.13") ];
out = [
# Support for Coq 8.17.0 & Coq 8.17.1
(fetchpatch {
url = "https://github.com/AbsInt/CompCert/commit/030a0fafe6a1a315bb13c5276e0af536e4f713ce.patch";
hash = "sha256-iRdmgYuun1wp6chRoDy99KKmFyvY79NGWzrltyQaW1o=";
})
];
}
] [];
}
)

2
pkgs/top-level/all-packages.nix
View file

@ -15175,7 +15175,7 @@ with pkgs;
comby = callPackage ../development/tools/comby { };
inherit (coqPackages_8_16) compcert;
inherit (coqPackages) compcert;
computecpp-unwrapped = callPackage ../development/compilers/computecpp { };
computecpp = wrapCCWith rec {