pyrox.dev
lol
1{ stdenv, fetchurl, gmp }:
2
3stdenv.mkDerivation rec {
4 name = "isl-0.14.1";
5
6 src = fetchurl {
7 url = "http://isl.gforge.inria.fr/${name}.tar.xz";
8 sha256 = "0xa6xagah5rywkywn19rzvbvhfvkmylhcxr6z9z7bz29cpiwk0l8";
9 };
10
11 buildInputs = [ gmp ];
12
13 enableParallelBuilding = true;
14
15 meta = {
16 homepage = http://www.kotnet.org/~skimo/isl/;
17 license = stdenv.lib.licenses.lgpl21;
18 description = "A library for manipulating sets and relations of integer points bounded by linear constraints";
19 platforms = stdenv.lib.platforms.all;
20 };
21}