diff --git a/core-mod/core/libisl/build b/core-mod/core/libisl/build
new file mode 100755
index 0000000..270ae64
--- /dev/null
+++ b/core-mod/core/libisl/build
@@ -0,0 +1 @@
+#!/bin/sh -e
diff --git a/core-mod/core/libisl/checksums b/core-mod/core/libisl/checksums
new file mode 100644
index 0000000..3ac0801
--- /dev/null
+++ b/core-mod/core/libisl/checksums
@@ -0,0 +1 @@
+6812a560f3752dc2e0cc08bfc3c860044c57f4a2aeb8e387c0568246171d1794
diff --git a/core-mod/core/libisl/depends b/core-mod/core/libisl/depends
new file mode 100644
index 0000000..037496e
--- /dev/null
+++ b/core-mod/core/libisl/depends
@@ -0,0 +1,3 @@
+autoconf make
+automake make
+libgmp
diff --git a/core-mod/core/libisl/sources b/core-mod/core/libisl/sources
new file mode 100644
index 0000000..bd4451e
--- /dev/null
+++ b/core-mod/core/libisl/sources
@@ -0,0 +1 @@
+https://repo.or.cz/isl.git/snapshot/73ab37ba8bb6a21b9672e29073ece533362e685d.tar.gz
diff --git a/core-mod/core/libisl/version b/core-mod/core/libisl/version
new file mode 100644
index 0000000..2fb73a0
--- /dev/null
+++ b/core-mod/core/libisl/version
@@ -0,0 +1 @@
+1 1