diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-02-13 22:26:39 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-02-13 22:26:39 +0000 |
commit | 93f8365824129d4c12ee28bd9a3d54a1f88f3866 (patch) | |
tree | 8f7434c25e9d34f056bbd4b6fce3cd00a8d6266c | |
parent | 49a24afaa91dfb76cf3b111a59a4d79a637c3dd9 (diff) | |
download | nixlib-93f8365824129d4c12ee28bd9a3d54a1f88f3866.tar nixlib-93f8365824129d4c12ee28bd9a3d54a1f88f3866.tar.gz nixlib-93f8365824129d4c12ee28bd9a3d54a1f88f3866.tar.bz2 nixlib-93f8365824129d4c12ee28bd9a3d54a1f88f3866.tar.lz nixlib-93f8365824129d4c12ee28bd9a3d54a1f88f3866.tar.xz nixlib-93f8365824129d4c12ee28bd9a3d54a1f88f3866.tar.zst nixlib-93f8365824129d4c12ee28bd9a3d54a1f88f3866.zip |
compcert: 3.1 -> 3.2
-rw-r--r-- | pkgs/development/compilers/compcert/default.nix | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/pkgs/development/compilers/compcert/default.nix b/pkgs/development/compilers/compcert/default.nix index a12f1c42ba61..07b205f6dfe8 100644 --- a/pkgs/development/compilers/compcert/default.nix +++ b/pkgs/development/compilers/compcert/default.nix @@ -7,11 +7,11 @@ assert lib.versionAtLeast ocamlPackages.ocaml.version "4.02"; stdenv.mkDerivation rec { name = "compcert-${version}"; - version = "3.1"; + version = "3.2"; src = fetchurl { url = "http://compcert.inria.fr/release/${name}.tgz"; - sha256 = "0irfwlw2chalp0g2gw0makc699hn3z37sha1a239p9d90mzx03cx"; + sha256 = "11q4121s0rxva63njjwya7syfx9w0p4hzr6avh8s57vfbrcakc93"; }; buildInputs = [ coq ] @@ -20,7 +20,6 @@ stdenv.mkDerivation rec { enableParallelBuilding = true; configurePhase = '' - substituteInPlace VERSION --replace '3.0.1' '3.1' substituteInPlace ./configure --replace '{toolprefix}gcc' '{toolprefix}cc' ./configure -clightgen -prefix $out -toolprefix ${tools}/bin/ '' + (if stdenv.isDarwin then "x86_64-macosx" else "x86_64-linux"); |