New package: isl-0.10.

common/shlibs

@@ -972,3 +972,4 @@ libspectre.so.1 libspectre-0.2.6_1
 libsratom-0.so.0 sratom-0.2.0_1
 libmongoose.so.0 libmongoose-3.1_1
 libpwquality.so.1 libpwquality-1.1.1_1
+libisl.so.10 isl-0.10_1

srcpkgs/isl-devel

@@ -0,0 +1 @@
+isl

srcpkgs/isl/isl-devel.template

@@ -0,0 +1,13 @@
+# Template file for 'isl-devel'.
+#
+depends="gmp-devel isl>=$version"
+short_desc="${short_desc} -- development files"
+long_desc="${long_desc}
+
+ This package contains files for development, headers, static libs, etc."
+
+do_install() {
+	vmove usr/include usr
+	vmove usr/lib/pkgconfig usr/lib
+	vmove "usr/lib/*.a" usr/lib
+}

srcpkgs/isl/isl.rshlibs

@@ -0,0 +1,2 @@
+libgmp.so.10
+libc.so.6

srcpkgs/isl/template

@@ -0,0 +1,26 @@
+# Template file for 'isl'
+pkgname=isl
+version=0.10
+revision=1
+build_style=gnu-configure
+subpackages="isl-devel"
+short_desc="Integer Set Library"
+maintainer="Juan RP <xtraeme@gmail.com>"
+homepage="http://www.kotnet.org/~skimo/isl/"
+license="LGPL-2.1"
+distfiles="http://www.kotnet.org/~skimo/isl/isl-$version.tar.lzma"
+checksum=3b28882b27eebc53db2a9a3790373255b3243f9e678a089d6d129ff007a5c144
+long_desc="
+ isl is a library for manipulating sets and relations of integer points bounded
+ by linear constraints. Supported operations on sets include intersection, union,
+ set difference, emptiness check, convex hull, (integer) affine hull, integer
+ projection, computing the lexicographic minimum using parametric integer
+ programming, coalescing and parametric vertex enumeration. It also includes an
+ ILP solver based on generalized basis reduction, transitive closures on maps
+ (which may encode infinite graphs), dependence analysis and bounds on piecewise
+ step-polynomials."
+
+post_install() {
+	# Remove gdb python files.
+	rm -f ${DESTDIR}/usr/lib/*.py
+}