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..2b4fcf0
--- /dev/null
+++ b/Libraries/isl/files/variants
@@ -0,0 +1 @@
+isl/0.21	stable	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.
+"
+