diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2020-12-07 22:03:47 +0100 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2020-12-09 08:28:04 +0100 |
commit | a35e7daa2b4aa70f7f8ed857f276ad33593bd322 (patch) | |
tree | 78f6476b523c38ace15cfd56da5fa56b62315c75 /pkgs/top-level | |
parent | 23290bd131fe33cb5844a9722662e8c458811ce3 (diff) |
compcert: 3.7 → 3.8
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/coq-packages.nix | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix index 605db554363b..46b7094cb3a4 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -1,4 +1,6 @@ -{ lib, callPackage, newScope, recurseIntoAttrs, ocamlPackages_4_05, ocamlPackages_4_09 }: +{ lib, callPackage, newScope, recurseIntoAttrs, ocamlPackages_4_05, ocamlPackages_4_09 +, compcert +}: let mkCoqPackages' = self: coq: @@ -59,7 +61,9 @@ 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 {}; + VST = callPackage ../development/coq-modules/VST { + compcert = compcert.override { version = "3.7"; }; + }; filterPackages = filterCoqPackages; }; |