diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-03-04 20:25:07 +0000 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2019-03-09 05:49:26 -0600 |
| commit | 3c9bfa32e21817260473000dbe0e77b553c417aa (patch) | |
| tree | e98d894c10c868f6f50334a00252fd9d0c4a703e /pkgs/development/compilers/compcert | |
| parent | c730f29e7f14aed4c0ffcdb557676630b0f784a9 (diff) | |
| download | nixlib-3c9bfa32e21817260473000dbe0e77b553c417aa.tar nixlib-3c9bfa32e21817260473000dbe0e77b553c417aa.tar.gz nixlib-3c9bfa32e21817260473000dbe0e77b553c417aa.tar.bz2 nixlib-3c9bfa32e21817260473000dbe0e77b553c417aa.tar.lz nixlib-3c9bfa32e21817260473000dbe0e77b553c417aa.tar.xz nixlib-3c9bfa32e21817260473000dbe0e77b553c417aa.tar.zst nixlib-3c9bfa32e21817260473000dbe0e77b553c417aa.zip | |
compcert: 3.4 -> 3.5
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 4a9f585b2524..de01d7afdf04 100644 --- a/pkgs/development/compilers/compcert/default.nix +++ b/pkgs/development/compilers/compcert/default.nix @@ -12,11 +12,11 @@ let in stdenv.mkDerivation rec { name = "compcert-${version}"; - version = "3.4"; + version = "3.5"; src = fetchurl { url = "http://compcert.inria.fr/release/${name}.tgz"; - sha256 = "12gchwvkzhd2bhrnwzfb4a06wc4hgv98z987k06vj7ga31ii763h"; + sha256 = "127s8nwsmpl7ng7h4yy8cci8p6ncsw8i8jq3z0pyhx2siryddq0v"; }; nativeBuildInputs = [ makeWrapper ]; @@ -24,6 +24,7 @@ stdenv.mkDerivation rec { enableParallelBuilding = true; patchPhase = '' + substituteInPlace ./VERSION --replace 3.4 3.5 substituteInPlace ./configure \ --replace '{toolprefix}gcc' '{toolprefix}cc' ''; |