JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #21066 from gdeest/fix/isl-update

Browse Source 
isl: add 0.17.1
This commit is contained in:
Jörg Thalheim 2016-12-15 12:02:42 +01:00 committed by GitHub
commit 0db13ac05e
2 changed files with 23 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
pkgs/development/libraries/isl/0.17.1.nix Normal file
View File

@ -0,0 +1,21 @@
{ stdenv, fetchurl, gmp }:
stdenv.mkDerivation rec {
name = "isl-0.17.1";
src = fetchurl {
url = "http://isl.gforge.inria.fr/${name}.tar.xz";
sha256 = "be152e5c816b477594f4c6194b5666d8129f3a27702756ae9ff60346a8731647";
};
buildInputs = [ gmp ];
enableParallelBuilding = true;
meta = {
homepage = http://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;
};
}

3
pkgs/top-level/all-packages.nix
View File

@ -2275,11 +2275,12 @@ in
ised = callPackage ../tools/misc/ised {};
isl = isl_0_15;
isl = isl_0_17;
isl_0_11 = callPackage ../development/libraries/isl/0.11.1.nix { };
isl_0_12 = callPackage ../development/libraries/isl/0.12.2.nix { };
isl_0_14 = callPackage ../development/libraries/isl/0.14.1.nix { };
isl_0_15 = callPackage ../development/libraries/isl/0.15.0.nix { };
isl_0_17 = callPackage ../development/libraries/isl/0.17.1.nix { };
ispike = callPackage ../development/libraries/science/robotics/ispike { };