diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-03-18 08:47:58 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-03-20 09:54:51 +0000 |
| commit | 338f5208b3970040ac51fb0cf6a979957d396bf4 (patch) | |
| tree | 044e5fd2f6865af70cf387f9989f256443994a08 /pkgs/development/compilers/compcert | |
| parent | 49fb21232ff08a2f591237a97ebbbd7beda8d9c2 (diff) | |
compcert: fix source
Diffstat (limited to 'pkgs/development/compilers/compcert')
| -rw-r--r-- | pkgs/development/compilers/compcert/default.nix | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/pkgs/development/compilers/compcert/default.nix b/pkgs/development/compilers/compcert/default.nix index de01d7afdf0..4538d303148 100644 --- a/pkgs/development/compilers/compcert/default.nix +++ b/pkgs/development/compilers/compcert/default.nix @@ -1,4 +1,4 @@ -{ stdenv, lib, fetchurl, fetchpatch, makeWrapper +{ stdenv, lib, fetchFromGitHub, fetchpatch, makeWrapper , coq, ocamlPackages, coq2html , tools ? stdenv.cc }: @@ -14,9 +14,11 @@ stdenv.mkDerivation rec { name = "compcert-${version}"; version = "3.5"; - src = fetchurl { - url = "http://compcert.inria.fr/release/${name}.tgz"; - sha256 = "127s8nwsmpl7ng7h4yy8cci8p6ncsw8i8jq3z0pyhx2siryddq0v"; + src = fetchFromGitHub { + owner = "AbsInt"; + repo = "CompCert"; + rev = "v${version}"; + sha256 = "1g8067a5x3vd0l47d04gjvy5yx49nghh55am5d1fbrjirfsnsz8j"; }; nativeBuildInputs = [ makeWrapper ]; @@ -24,7 +26,6 @@ stdenv.mkDerivation rec { enableParallelBuilding = true; patchPhase = '' - substituteInPlace ./VERSION --replace 3.4 3.5 substituteInPlace ./configure \ --replace '{toolprefix}gcc' '{toolprefix}cc' ''; |