diff options
author | Lluís Batlle i Rossell <viric@vicerveza.homeunix.net> | 2010-06-15 09:14:16 +0000 |
---|---|---|
committer | Lluís Batlle i Rossell <viric@vicerveza.homeunix.net> | 2010-06-15 09:14:16 +0000 |
commit | 3f77d3da03f7fc439a566e36b61f8cdc75fd8c66 (patch) | |
tree | f7377737e2d90ce8b5198b59314881241d761470 /pkgs/development/libraries/ppl | |
parent | e31361657c1296a62a40db296e33a27a83ffd2db (diff) | |
download | nixlib-3f77d3da03f7fc439a566e36b61f8cdc75fd8c66.tar nixlib-3f77d3da03f7fc439a566e36b61f8cdc75fd8c66.tar.gz nixlib-3f77d3da03f7fc439a566e36b61f8cdc75fd8c66.tar.bz2 nixlib-3f77d3da03f7fc439a566e36b61f8cdc75fd8c66.tar.lz nixlib-3f77d3da03f7fc439a566e36b61f8cdc75fd8c66.tar.xz nixlib-3f77d3da03f7fc439a566e36b61f8cdc75fd8c66.tar.zst nixlib-3f77d3da03f7fc439a566e36b61f8cdc75fd8c66.zip |
I downgrade ppl again to the stable release, and I make gmp 4.3.2 the default
gmp; we can update all once we have stable ppl 0.11 and a working cloog-ppl with all that. This way we should at least gcc4.5 building with ppl/cloog-ppl svn path=/nixpkgs/branches/stdenv-updates/; revision=22271
Diffstat (limited to 'pkgs/development/libraries/ppl')
-rw-r--r-- | pkgs/development/libraries/ppl/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/libraries/ppl/default.nix b/pkgs/development/libraries/ppl/default.nix index d681fa44cf95..9b52958b3e5e 100644 --- a/pkgs/development/libraries/ppl/default.nix +++ b/pkgs/development/libraries/ppl/default.nix @@ -1,12 +1,12 @@ { fetchurl, stdenv, gmpxx, perl, gnum4 }: -let version = "0.11pre24"; in +let version = "0.10.2"; in stdenv.mkDerivation rec { name = "ppl-${version}"; src = fetchurl { - url = "ftp://ftp.cs.unipr.it/pub/ppl/snapshots/${version}/${name}.tar.bz2"; - sha256 = "1w6v5wxj13mnp311aaglhdyzxlx13g84054bsp7sym3ryjjyg0gx"; + url = "mirror://gcc/infrastructure/ppl-${version}.tar.gz"; + sha256 = "0lly44sac4jd72klnhhil3wha15vak76r6gy88sh0zjsaww9hf6h"; }; buildInputs = [ perl gnum4 ]; |