summaryrefslogtreecommitdiff
path: root/homebrew/isl/.beer
diff options
context:
space:
mode:
Diffstat (limited to 'homebrew/isl/.beer')
-rw-r--r--homebrew/isl/.beer41
1 files changed, 41 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