diff options
| author | Brian Schroeder <bts@gmail.com> | 2018-11-18 17:29:17 -0500 |
|---|---|---|
| committer | Brian Schroeder <bts@gmail.com> | 2018-11-19 10:34:52 -0500 |
| commit | 0e8c8119072e1c205df65492f7e0542045d1643c (patch) | |
| tree | d5a934fb526aa9ecd3290fa87f9efa706b019002 /pkgs/development/libraries | |
| parent | 151cc7c288d67069458c4231ec7459e4f20aaca5 (diff) | |
| download | nixpkgs-0e8c8119072e1c205df65492f7e0542045d1643c.tar nixpkgs-0e8c8119072e1c205df65492f7e0542045d1643c.tar.gz nixpkgs-0e8c8119072e1c205df65492f7e0542045d1643c.tar.bz2 nixpkgs-0e8c8119072e1c205df65492f7e0542045d1643c.tar.lz nixpkgs-0e8c8119072e1c205df65492f7e0542045d1643c.tar.xz nixpkgs-0e8c8119072e1c205df65492f7e0542045d1643c.tar.zst nixpkgs-0e8c8119072e1c205df65492f7e0542045d1643c.zip | |
isl: add 0.20
Update `isl` to use `isl_0_20`.
Diffstat (limited to 'pkgs/development/libraries')
| -rw-r--r-- | pkgs/development/libraries/isl/0.12.2.nix | 21 | ||||
| -rw-r--r-- | pkgs/development/libraries/isl/0.20.0.nix (renamed from pkgs/development/libraries/isl/0.15.0.nix) | 6 |
2 files changed, 3 insertions, 24 deletions
diff --git a/pkgs/development/libraries/isl/0.12.2.nix b/pkgs/development/libraries/isl/0.12.2.nix deleted file mode 100644 index 880f91fcced..00000000000 --- a/pkgs/development/libraries/isl/0.12.2.nix +++ /dev/null @@ -1,21 +0,0 @@ -{ stdenv, fetchurl, gmp }: - -stdenv.mkDerivation rec { - name = "isl-0.12.2"; # CLooG 0.16.3 fails to build with ISL 0.08. - - src = fetchurl { - url = "http://isl.gforge.inria.fr/${name}.tar.bz2"; - sha256 = "1d0zs64yw6fzs6b7kxq6nh9kvas16h8b43agwh30118jjzpdpczl"; - }; - - buildInputs = [ gmp ]; - - enableParallelBuilding = true; - - meta = { - homepage = https://www.kotnet.org/~skimo/isl/; - license = stdenv.lib.licenses.lgpl21; - description = "A library for manipulating sets and relations of integer points bounded by linear constraints"; - platforms = stdenv.lib.platforms.all; - }; -} diff --git a/pkgs/development/libraries/isl/0.15.0.nix b/pkgs/development/libraries/isl/0.20.0.nix index 8b6080c2880..72ef581725b 100644 --- a/pkgs/development/libraries/isl/0.15.0.nix +++ b/pkgs/development/libraries/isl/0.20.0.nix @@ -1,11 +1,11 @@ { stdenv, fetchurl, gmp }: stdenv.mkDerivation rec { - name = "isl-0.15"; + name = "isl-0.20"; src = fetchurl { url = "http://isl.gforge.inria.fr/${name}.tar.xz"; - sha256 = "1m922l5bz69lvkcxrib7lvjqwfqsr8rpbzgmb2aq07bp76460jhh"; + sha256 = "1akpgq0rbqbah5517blg2zlnfvjxfcl9cjrfc75nbcx5p2gnlnd5"; }; buildInputs = [ gmp ]; @@ -13,7 +13,7 @@ stdenv.mkDerivation rec { enableParallelBuilding = true; meta = { - homepage = https://www.kotnet.org/~skimo/isl/; + homepage = http://isl.gforge.inria.fr/; license = stdenv.lib.licenses.lgpl21; description = "A library for manipulating sets and relations of integer points bounded by linear constraints"; platforms = stdenv.lib.platforms.all; |