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/isl/0.20.0.nix | |
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/isl/0.20.0.nix')
-rw-r--r-- | pkgs/development/libraries/isl/0.20.0.nix | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/pkgs/development/libraries/isl/0.20.0.nix b/pkgs/development/libraries/isl/0.20.0.nix new file mode 100644 index 00000000000..72ef581725b --- /dev/null +++ b/pkgs/development/libraries/isl/0.20.0.nix @@ -0,0 +1,21 @@ +{ stdenv, fetchurl, gmp }: + +stdenv.mkDerivation rec { + name = "isl-0.20"; + + src = fetchurl { + url = "http://isl.gforge.inria.fr/${name}.tar.xz"; + sha256 = "1akpgq0rbqbah5517blg2zlnfvjxfcl9cjrfc75nbcx5p2gnlnd5"; + }; + + buildInputs = [ gmp ]; + + enableParallelBuilding = true; + + meta = { + 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; + }; +} |