public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #57848 from vbgl/compcert-3.5-fix

Browse Source 
compcert: fix source hash
This commit is contained in:
worldofpeace 2019-03-20 17:31:06 -04:00 committed by GitHub
commit c1d65d680b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,4 +1,4 @@
{ stdenv, lib, fetchurl, fetchpatch, makeWrapper { stdenv, lib, fetchFromGitHub, fetchpatch, makeWrapper
, coq, ocamlPackages, coq2html , coq, ocamlPackages, coq2html
, tools ? stdenv.cc , tools ? stdenv.cc
}: }:
@ -14,9 +14,11 @@ stdenv.mkDerivation rec {
name = "compcert-${version}"; name = "compcert-${version}";
version = "3.5"; version = "3.5";
src = fetchurl { src = fetchFromGitHub {
url = "http://compcert.inria.fr/release/${name}.tgz"; owner = "AbsInt";
sha256 = "127s8nwsmpl7ng7h4yy8cci8p6ncsw8i8jq3z0pyhx2siryddq0v"; repo = "CompCert";
rev = "v${version}";
sha256 = "1g8067a5x3vd0l47d04gjvy5yx49nghh55am5d1fbrjirfsnsz8j";
}; };
nativeBuildInputs = [ makeWrapper ]; nativeBuildInputs = [ makeWrapper ];
@ -24,7 +26,6 @@ stdenv.mkDerivation rec {
enableParallelBuilding = true; enableParallelBuilding = true;
patchPhase = '' patchPhase = ''
substituteInPlace ./VERSION --replace 3.4 3.5
substituteInPlace ./configure \ substituteInPlace ./configure \
--replace '{toolprefix}gcc' '{toolprefix}cc' --replace '{toolprefix}gcc' '{toolprefix}cc'
''; '';