diff options
| author | Vladimír Čunát <vcunat@gmail.com> | 2014-01-20 19:39:28 +0100 |
|---|---|---|
| committer | Vladimír Čunát <vcunat@gmail.com> | 2014-01-20 19:39:28 +0100 |
| commit | ac6761c9081134baaa7dae18f06cbfaca38270d5 (patch) | |
| tree | a1ff0e93e8907624d65aff367496513d3dc47374 /pkgs/development/libraries/isl | |
| parent | 177667eea987898097e854a54962ff90bbf4fa35 (diff) | |
| parent | 8088837dc8f35ef7853787f88bb1db7248900cc4 (diff) | |
| download | nixpkgs-ac6761c9081134baaa7dae18f06cbfaca38270d5.tar nixpkgs-ac6761c9081134baaa7dae18f06cbfaca38270d5.tar.gz nixpkgs-ac6761c9081134baaa7dae18f06cbfaca38270d5.tar.bz2 nixpkgs-ac6761c9081134baaa7dae18f06cbfaca38270d5.tar.lz nixpkgs-ac6761c9081134baaa7dae18f06cbfaca38270d5.tar.xz nixpkgs-ac6761c9081134baaa7dae18f06cbfaca38270d5.tar.zst nixpkgs-ac6761c9081134baaa7dae18f06cbfaca38270d5.zip | |
Merge master into stdenv-updates
Conflicts: pkgs/applications/version-management/gource/default.nix pkgs/top-level/all-packages.nix
Diffstat (limited to 'pkgs/development/libraries/isl')
| -rw-r--r-- | pkgs/development/libraries/isl/0.12.2.nix | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/pkgs/development/libraries/isl/0.12.2.nix b/pkgs/development/libraries/isl/0.12.2.nix new file mode 100644 index 00000000000..995cd0510b4 --- /dev/null +++ b/pkgs/development/libraries/isl/0.12.2.nix @@ -0,0 +1,20 @@ +{ 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 ]; + + meta = { + homepage = http://www.kotnet.org/~skimo/isl/; + license = "LGPLv2.1"; + description = "A library for manipulating sets and relations of integer points bounded by linear constraints"; + maintainers = [ stdenv.lib.maintainers.shlevy ]; + platforms = stdenv.lib.platforms.all; + }; +} |