coqPackages.VST: 2.6 → 2.7.1

This commit is contained in:
Vincent Laporte 2021-04-30 08:49:33 +02:00 committed by Vincent Laporte
parent b333692c87
commit 4fb15bc739
2 changed files with 10 additions and 4 deletions

View file

@ -7,7 +7,11 @@ with lib; mkCoqDerivation {
owner = "PrincetonUniversity";
repo = "VST";
inherit version;
defaultVersion = if coq.coq-version == "8.11" then "2.6" else null;
defaultVersion = with versions; switch coq.coq-version [
{ case = range "8.12" "8.13"; out = "2.7.1"; }
{ case = "8.11"; out = "2.6"; }
] null;
release."2.7.1".sha256 = "1674j7bkvihiv19vizm99dp6gj3lryb00zx6a87jz214f3ydcvnj";
release."2.6".sha256 = "00bf9hl4pvmsqa08lzjs1mrxyfgfxq4k6778pnldmc8ichm90jgk";
releaseRev = v: "v${v}";
propagatedBuildInputs = [ compcert ];

View file

@ -70,9 +70,11 @@ let
tlc = callPackage ../development/coq-modules/tlc {};
Velisarios = callPackage ../development/coq-modules/Velisarios {};
Verdi = callPackage ../development/coq-modules/Verdi {};
VST = callPackage ../development/coq-modules/VST {
compcert = compcert.override { version = "3.7"; };
};
VST = callPackage ../development/coq-modules/VST (with lib.versions;
lib.switch coq.coq-version [
{ case = "8.11"; out = { compcert = compcert.override { coqPackages = self; version = "3.7"; }; }; }
{ case = range "8.12" "8.13"; out = { compcert = compcert.override { coqPackages = self; }; }; }
] {});
filterPackages = doesFilter: if doesFilter then filterCoqPackages self else self;
};