From c4e7a41e1fdfe156663fded15bc20e17df97dc08 Mon Sep 17 00:00:00 2001
From: Achim Gsell <achim.gsell@psi.ch>
Date: Mon, 4 Nov 2019 17:15:28 +0100
Subject: [PATCH 1/2] isl: new build-block added

---
 Libraries/isl/build          | 12 ++++++++++++
 Libraries/isl/files/variants |  1 +
 Libraries/isl/modulefile     | 18 ++++++++++++++++++
 3 files changed, 31 insertions(+)
 create mode 100755 Libraries/isl/build
 create mode 100644 Libraries/isl/files/variants
 create mode 100644 Libraries/isl/modulefile

diff --git a/Libraries/isl/build b/Libraries/isl/build
new file mode 100755
index 0000000..1845b14
--- /dev/null
+++ b/Libraries/isl/build
@@ -0,0 +1,12 @@
+#!/usr/bin/env modbuild
+
+pbuild::set_download_url "http://isl.gforge.inria.fr/$P-$V_PKG.tar.xz"
+pbuild::add_to_group 'Libraries'
+
+# use system gcc to compile
+declare -rx CC=gcc
+declare -rx CPP=/usr/bin/cpp
+
+pbuild::add_configure_args "--disable-shared"
+pbuild::add_configure_args "--with-pic"
+
diff --git a/Libraries/isl/files/variants b/Libraries/isl/files/variants
new file mode 100644
index 0000000..467f76c
--- /dev/null
+++ b/Libraries/isl/files/variants
@@ -0,0 +1 @@
+isl/0.21	unstable	b:gmp/6.1.2-1
diff --git a/Libraries/isl/modulefile b/Libraries/isl/modulefile
new file mode 100644
index 0000000..bbed0cf
--- /dev/null
+++ b/Libraries/isl/modulefile
@@ -0,0 +1,18 @@
+#%Module1.0
+
+module-whatis		"Integer Set Library"
+module-url		"http://isl.gforge.inria.fr"
+module-license		"MIT license"
+module-maintainer	"Achim Gsell <achim.gsell@psi.ch>"
+
+module-help		"
+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.
+"
+

From 9db7388632de2cb4c075d7a458303dc34e90f815 Mon Sep 17 00:00:00 2001
From: Achim Gsell <achim.gsell@psi.ch>
Date: Mon, 4 Nov 2019 17:16:01 +0100
Subject: [PATCH 2/2] isl/0.21: released as stable

---
 Libraries/isl/files/variants | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Libraries/isl/files/variants b/Libraries/isl/files/variants
index 467f76c..2b4fcf0 100644
--- a/Libraries/isl/files/variants
+++ b/Libraries/isl/files/variants
@@ -1 +1 @@
-isl/0.21	unstable	b:gmp/6.1.2-1
+isl/0.21	stable	b:gmp/6.1.2-1