diff options
| author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-09-21 15:06:51 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-09-21 15:06:51 +0200 |
| commit | 3370615a7f1ad927ace45e268b694a184d2ffd43 (patch) | |
| tree | 5724f03d23f96ef42a4776b6d79c48075a82f25e /pkgs/development/compilers/compcert | |
| parent | 116c34a748599334555896c32ace86056607d6c4 (diff) | |
| download | nixpkgs-3370615a7f1ad927ace45e268b694a184d2ffd43.tar nixpkgs-3370615a7f1ad927ace45e268b694a184d2ffd43.tar.gz nixpkgs-3370615a7f1ad927ace45e268b694a184d2ffd43.tar.bz2 nixpkgs-3370615a7f1ad927ace45e268b694a184d2ffd43.tar.lz nixpkgs-3370615a7f1ad927ace45e268b694a184d2ffd43.tar.xz nixpkgs-3370615a7f1ad927ace45e268b694a184d2ffd43.tar.zst nixpkgs-3370615a7f1ad927ace45e268b694a184d2ffd43.zip | |
compcert: 3.0.1 -> 3.1
Note that the fix of the VERSION file can likely be removed at the next update.
Diffstat (limited to 'pkgs/development/compilers/compcert')
| -rw-r--r-- | pkgs/development/compilers/compcert/default.nix | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/pkgs/development/compilers/compcert/default.nix b/pkgs/development/compilers/compcert/default.nix index f519776b689..950c7f96b6f 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.0.1"; + version = "3.1"; src = fetchurl { url = "http://compcert.inria.fr/release/${name}.tgz"; - sha256 = "0dgrj26dzdy4n3s9b5hwc6lm54vans1v4qx9hdp1q8w1qqcdriq9"; + sha256 = "0irfwlw2chalp0g2gw0makc699hn3z37sha1a239p9d90mzx03cx"; }; buildInputs = [ coq ] @@ -20,6 +20,7 @@ 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"); |