git.iko.soy/typeable/nixpkgs
on master help sign in
compcert: 3.8 → 3.9
commit25964547fbddc1f8867735838e88202777fd7799 authorVincent Laporte <Vincent.Laporte@gmail.com> dateFri 4 Jun 2021, 05:49 (5 years ago) parent85ee1bd
2 files changed+7−2
compare with master
unifiedsplit
pkgs/development/compilers/compcert/default.nix+6−1 pkgs/top-level/coq-packages.nix+1−1
pkgs/development/compilers/compcert/default.nix+6−1
@@ -1,7 +1,7 @@
11{ lib, stdenv, fetchFromGitHub, fetchpatch, makeWrapper
22, coqPackages, ocamlPackages, coq2html
33, tools ? stdenv.cc
4−, version ? "3.8"
4+, version ? "3.9"
55}:
66
77let
@@ -56,6 +56,10 @@ let param = {
5656 ];
5757 useExternalFlocq = true;
5858 };
59+ "3.9" = {
60+ sha256 = "1srcz2dqrvmbvv5cl66r34zqkm0hsbryk7gd3i9xx4slahc9zvdb";
61+ useExternalFlocq = true;
62+ };
5963}."${version}"; in
6064
6165stdenv.mkDerivation rec {
@@ -78,6 +82,7 @@ stdenv.mkDerivation rec {
7882
7983 postPatch = ''
8084 substituteInPlace ./configure \
85+ --replace \$\{toolprefix\}ar 'ar' \
8186 --replace '{toolprefix}gcc' '{toolprefix}cc'
8287 '';
8388
pkgs/top-level/coq-packages.nix+1−1
@@ -80,7 +80,7 @@ let
8080 VST = callPackage ../development/coq-modules/VST (with lib.versions;
8181 lib.switch coq.coq-version [
8282 { case = "8.11"; out = { compcert = compcert.override { coqPackages = self; version = "3.7"; }; }; }
83− { case = range "8.12" "8.13"; out = { compcert = compcert.override { coqPackages = self; }; }; }
83+ { case = range "8.12" "8.13"; out = { compcert = compcert.override { coqPackages = self; version = "3.8"; }; }; }
8484 ] {});
8585 zorns-lemma = callPackage ../development/coq-modules/zorns-lemma {};
8686 filterPackages = doesFilter: if doesFilter then filterCoqPackages self else self;