Ported in the homebrew-marauder for a hacky update/import system.

	TODO: Maybe add a license & fix up messy code.

7 files changed, 51 insertions, 0 deletions

diff --git a/homebrew/isl/.beer b/homebrew/isl/.beer
new file mode 100644
index 000000000..dcf2d07c2
--- /dev/null
+++ b/homebrew/isl/.beer
@@ -0,0 +1,41 @@
+{
+    "name": "Isl",
+    "description": "Integer Set Library for the polyhedral model",
+    "url": "http://isl.gforge.inria.fr/isl-0.21.tar.xz",
+    "mirror": "https://deb.debian.org/debian/pool/main/i/isl/isl_0.21.orig.tar.xz",
+    "homepage": "https://isl.gforge.inria.fr/",
+    "depends": [
+        {
+            "depend": "autoconf",
+            "build-depend": true
+        },
+        {
+            "depend": "automake",
+            "build-depend": true
+        },
+        {
+            "depend": "libtool",
+            "build-depend": true
+        },
+        {
+            "depend": "gmp",
+            "build-depend": false
+        }
+    ],
+    "resource": [],
+    "conflicts": [],
+    "patches": [],
+    "install": [
+        "system \"./autogen.sh\" if build.head?",
+        "system \"./configure\", \"--disable-dependency-tracking\",",
+        "\"--disable-silent-rules\",",
+        "\"--prefix=#{prefix}\",",
+        "\"--with-gmp=system\",",
+        "\"--with-gmp-prefix=#{Formula[\"gmp\"].opt_prefix}\"",
+        "system \"make\", \"check\"",
+        "system \"make\", \"install\"",
+        "(share/\"gdb/auto-load\").install Dir[\"#{lib}/*-gdb.py\"]"
+    ],
+    "version": "0.21",
+    "file": "isl.rb"
+}
\ No newline at end of file
diff --git a/homebrew/isl/.make.sh-auto b/homebrew/isl/.make.sh-auto
new file mode 100644
index 000000000..fe9b77432
--- /dev/null
+++ b/homebrew/isl/.make.sh-auto
@@ -0,0 +1,5 @@
+pkg:setup
+pkg:configure --disable-dependency-tracking --disable-silent-rules --with-gmp=system --with-gmp-prefix=#{Formula[gmp"].opt_prefix}"
+make check
+make DESTDIR=${PKG_DEST} install
+(share/"gdb/auto-load").install Dir["#{lib}/*-gdb.py"]
diff --git a/homebrew/isl/_metadata/description b/homebrew/isl/_metadata/description
new file mode 100644
index 000000000..477b6da01
--- /dev/null
+++ b/homebrew/isl/_metadata/description
@@ -0,0 +1 @@
+Integer Set Library for the polyhedral model
diff --git a/homebrew/isl/_metadata/homepage b/homebrew/isl/_metadata/homepage
new file mode 100644
index 000000000..d2d0cf3fe
--- /dev/null
+++ b/homebrew/isl/_metadata/homepage
@@ -0,0 +1 @@
+https://isl.gforge.inria.fr/
diff --git a/homebrew/isl/_metadata/name b/homebrew/isl/_metadata/name
new file mode 100644
index 000000000..d053ba3b7
--- /dev/null
+++ b/homebrew/isl/_metadata/name
@@ -0,0 +1 @@
+Isl
diff --git a/homebrew/isl/_metadata/version b/homebrew/isl/_metadata/version
new file mode 100644
index 000000000..5320adc1c
--- /dev/null
+++ b/homebrew/isl/_metadata/version
@@ -0,0 +1 @@
+0.21
diff --git a/homebrew/isl/download.sh b/homebrew/isl/download.sh
new file mode 100755
index 000000000..394397665
--- /dev/null
+++ b/homebrew/isl/download.sh
@@ -0,0 +1 @@
+wget http://isl.gforge.inria.fr/isl-0.21.tar.xz || wget https://deb.debian.org/debian/pool/main/i/isl/isl_0.21.orig.tar.xz
\ No newline at end of file