diff options
| author | Danny Wilson <danny@prime.vc> | 2013-02-20 09:20:07 +0000 |
|---|---|---|
| committer | Danny Wilson <danny@onlinetouch.nl> | 2013-02-28 20:04:01 +0100 |
| commit | bcaea92a1217f6adb79bdb400f2bfffef97955ed (patch) | |
| tree | 7823ce48aa5a14204464f9c6847518972cb92cc0 /pkgs/development/libraries/isl | |
| parent | cf42601f92c400b81c0db4b0c932075290811cc7 (diff) | |
| download | nixpkgs-bcaea92a1217f6adb79bdb400f2bfffef97955ed.tar nixpkgs-bcaea92a1217f6adb79bdb400f2bfffef97955ed.tar.gz nixpkgs-bcaea92a1217f6adb79bdb400f2bfffef97955ed.tar.bz2 nixpkgs-bcaea92a1217f6adb79bdb400f2bfffef97955ed.tar.lz nixpkgs-bcaea92a1217f6adb79bdb400f2bfffef97955ed.tar.xz nixpkgs-bcaea92a1217f6adb79bdb400f2bfffef97955ed.tar.zst nixpkgs-bcaea92a1217f6adb79bdb400f2bfffef97955ed.zip | |
Attempt at getting GCC 4.7 compiled on Illumos...
No success yet :-(
Diffstat (limited to 'pkgs/development/libraries/isl')
| -rw-r--r-- | pkgs/development/libraries/isl/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/libraries/isl/default.nix b/pkgs/development/libraries/isl/default.nix index aaec37eae8f..9097df78de3 100644 --- a/pkgs/development/libraries/isl/default.nix +++ b/pkgs/development/libraries/isl/default.nix @@ -1,14 +1,14 @@ { stdenv, fetchurl, gmp }: stdenv.mkDerivation rec { - name = "isl-0.07"; # CLooG 0.16.3 fails to build with ISL 0.08. + name = "isl-0.11.1"; # CLooG 0.16.3 fails to build with ISL 0.08. src = fetchurl { urls = [ "http://www.kotnet.org/~skimo/isl/${name}.tar.bz2" "ftp://ftp.linux.student.kuleuven.be/pub/people/skimo/isl/${name}.tar.bz2" ]; - sha256 = "0kpxmvhrwwdygqqafqzjf9xiksq7paac2x24g9jhr3f9ajj3zkyx"; + sha256 = "095f4b54c88ca13a80d2b025d9c551f89ea7ba6f6201d701960bfe5c1466a98d"; }; buildInputs = [ gmp ]; |