diff options
Diffstat (limited to 'homebrew/isl/.beer')
| -rw-r--r-- | homebrew/isl/.beer | 41 |
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 |