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

isl: 0.15 -> 0.17.1

Browse Source 
Oups.
This commit is contained in:
Gaël Deest 2016-12-11 13:59:44 +01:00
parent cb5c0521a2
commit 2fb4874453
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

@ -2271,11 +2271,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 { };