From 77fc9cb075a748646e96987dab72d7b75037542a Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@gmail.com>
Date: Sun, 1 Jul 2012 15:56:38 +0200
Subject: [PATCH] New package: isl-0.10.

---
 common/shlibs                  |  1 +
 srcpkgs/isl-devel              |  1 +
 srcpkgs/isl/isl-devel.template | 13 +++++++++++++
 srcpkgs/isl/isl.rshlibs        |  2 ++
 srcpkgs/isl/template           | 26 ++++++++++++++++++++++++++
 5 files changed, 43 insertions(+)
 create mode 120000 srcpkgs/isl-devel
 create mode 100644 srcpkgs/isl/isl-devel.template
 create mode 100644 srcpkgs/isl/isl.rshlibs
 create mode 100644 srcpkgs/isl/template

diff --git a/common/shlibs b/common/shlibs
index e9b6e2b6c43..479bd386f95 100644
--- a/common/shlibs
+++ b/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
diff --git a/srcpkgs/isl-devel b/srcpkgs/isl-devel
new file mode 120000
index 00000000000..d240363ceb4
--- /dev/null
+++ b/srcpkgs/isl-devel
@@ -0,0 +1 @@
+isl
\ No newline at end of file
diff --git a/srcpkgs/isl/isl-devel.template b/srcpkgs/isl/isl-devel.template
new file mode 100644
index 00000000000..3580726e0a8
--- /dev/null
+++ b/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
+}
diff --git a/srcpkgs/isl/isl.rshlibs b/srcpkgs/isl/isl.rshlibs
new file mode 100644
index 00000000000..8970e359b3e
--- /dev/null
+++ b/srcpkgs/isl/isl.rshlibs
@@ -0,0 +1,2 @@
+libgmp.so.10
+libc.so.6
diff --git a/srcpkgs/isl/template b/srcpkgs/isl/template
new file mode 100644
index 00000000000..13dec7baab8
--- /dev/null
+++ b/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
+}