diff options
Diffstat (limited to 'nixpkgs/pkgs/top-level/coq-packages.nix')
-rw-r--r-- | nixpkgs/pkgs/top-level/coq-packages.nix | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/nixpkgs/pkgs/top-level/coq-packages.nix b/nixpkgs/pkgs/top-level/coq-packages.nix index 078bbb80942a..5ca5e3867d5c 100644 --- a/nixpkgs/pkgs/top-level/coq-packages.nix +++ b/nixpkgs/pkgs/top-level/coq-packages.nix @@ -125,7 +125,13 @@ let Verdi = callPackage ../development/coq-modules/Verdi {}; VST = callPackage ../development/coq-modules/VST ((lib.optionalAttrs (lib.versionAtLeast self.coq.version "8.14") { - compcert = self.compcert.override { version = "3.11"; }; + compcert = self.compcert.override { + version = with lib.versions; lib.switch self.coq.version [ + { case = isEq "8.17"; out = "3.13"; } + { case = range "8.15" "8.16"; out = "3.12"; } + { case = isEq "8.14"; out = "3.11"; } + ] null; + }; }) // (lib.optionalAttrs (lib.versions.isEq self.coq.coq-version "8.13") { ITree = self.ITree.override { version = "4.0.0"; |