nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-01 07:01:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

compcert: 3.4 -> 3.5

Browse Source
This commit is contained in:
Vincent Laporte 2019-03-04 20:25:07 +00:00 committed by Austin Seipp
parent c730f29e7f
commit 3c9bfa32e2
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/development/compilers/compcert/default.nix
View File

@ -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'
'';