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

compcert: fix source

Browse Source
This commit is contained in:
Vincent Laporte 2019-03-18 08:47:58 +00:00
parent 49fb21232f
commit 338f5208b3
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
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'
''; '';