diff options
| author | John Wiegley <johnw@newartisans.com> | 2018-02-16 14:09:43 -0800 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2018-02-16 14:10:45 -0800 |
| commit | d8720dd19a7d3c2c36e9e24120fde8dd1f62ec17 (patch) | |
| tree | 2bc2fe36db32eca3aff747e318492245d9779d66 /pkgs | |
| parent | 3b9874452d04ac9055c1f2f143c9332a2f54e402 (diff) | |
| download | nixlib-d8720dd19a7d3c2c36e9e24120fde8dd1f62ec17.tar nixlib-d8720dd19a7d3c2c36e9e24120fde8dd1f62ec17.tar.gz nixlib-d8720dd19a7d3c2c36e9e24120fde8dd1f62ec17.tar.bz2 nixlib-d8720dd19a7d3c2c36e9e24120fde8dd1f62ec17.tar.lz nixlib-d8720dd19a7d3c2c36e9e24120fde8dd1f62ec17.tar.xz nixlib-d8720dd19a7d3c2c36e9e24120fde8dd1f62ec17.tar.zst nixlib-d8720dd19a7d3c2c36e9e24120fde8dd1f62ec17.zip | |
compcert: Permit building with Coq 8.7.2
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/development/compilers/compcert/default.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/development/compilers/compcert/default.nix b/pkgs/development/compilers/compcert/default.nix index 07b205f6dfe8..51392e23d8cf 100644 --- a/pkgs/development/compilers/compcert/default.nix +++ b/pkgs/development/compilers/compcert/default.nix @@ -19,6 +19,10 @@ stdenv.mkDerivation rec { enableParallelBuilding = true; + postPatch = '' + sed -i -e 's/8\.6\.1|8\.7\.0|8\.7\.1)/8.6.1|8.7.0|8.7.1|8.7.2)/' configure + ''; + configurePhase = '' substituteInPlace ./configure --replace '{toolprefix}gcc' '{toolprefix}cc' ./configure -clightgen -prefix $out -toolprefix ${tools}/bin/ '' + |