blob: b6f1d45b8fa70a80e03309f8ddcbdedb169a1f2c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
{stdenv, fetchurl, gmp, static ? false}:
let
version = "0.06";
staticFlags = if static then " --enable-static --disable-shared" else "";
in
stdenv.mkDerivation {
name = "isl-${version}";
src = fetchurl {
url = "http://www.kotnet.org/~skimo/isl/isl-${version}.tar.bz2";
sha256 = "0w1i1m94w0jkmm0bzlp08c4r97j7yp0d7crxf28524b9mgbg0mwk";
};
buildInputs = [ gmp ];
dontDisableStatic = if static then true else false;
configureFlags = "--with-gmp-prefix=${gmp}" + staticFlags;
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 ];
};
}
|