2012-11-05 06:40:05 +00:00
|
|
|
require 'formula'
|
|
|
|
|
|
|
|
class Isl < Formula
|
2013-09-01 06:34:07 +00:00
|
|
|
homepage 'http://freecode.com/projects/isl'
|
2013-09-09 04:41:03 +00:00
|
|
|
# Note: Always use tarball instead of git tag for stable version.
|
|
|
|
#
|
|
|
|
# Currently isl detects its version using source code directory name
|
|
|
|
# and update isl_version() function accordingly. All other names will
|
|
|
|
# result in isl_version() function returning "UNKNOWN" and hence break
|
|
|
|
# package detection.
|
|
|
|
url 'http://isl.gforge.inria.fr/isl-0.12.1.tar.bz2'
|
|
|
|
sha1 'a54e80a32bc3e06327053d77d6a81516d4f4b21f'
|
2012-11-05 06:40:05 +00:00
|
|
|
|
2013-09-24 23:32:59 +00:00
|
|
|
bottle do
|
2013-12-05 07:02:39 +00:00
|
|
|
cellar :any
|
|
|
|
revision 1
|
|
|
|
sha1 '21be0afcb4a8e12113895acc3feb918491631492' => :mavericks
|
|
|
|
sha1 'bec8efe48e2df6b2bc208d0b5e12131becc2d6dd' => :mountain_lion
|
|
|
|
sha1 'd83758ab5ea858564f5821c59716e584d3877cfd' => :lion
|
2013-09-24 23:32:59 +00:00
|
|
|
end
|
|
|
|
|
2013-09-20 15:15:56 +00:00
|
|
|
head do
|
|
|
|
url 'http://repo.or.cz/r/isl.git'
|
2012-11-05 06:40:05 +00:00
|
|
|
|
2013-09-09 04:41:03 +00:00
|
|
|
depends_on :autoconf => :build
|
|
|
|
depends_on :automake => :build
|
|
|
|
depends_on :libtool => :build
|
|
|
|
end
|
|
|
|
|
2013-09-20 15:15:56 +00:00
|
|
|
depends_on 'gmp'
|
|
|
|
|
2012-11-05 06:40:05 +00:00
|
|
|
def install
|
2013-09-09 04:41:03 +00:00
|
|
|
system "./autogen.sh" if build.head?
|
2013-09-01 06:34:07 +00:00
|
|
|
system "./configure", "--disable-dependency-tracking",
|
2013-09-09 04:41:03 +00:00
|
|
|
"--disable-silent-rules",
|
2013-09-01 06:34:07 +00:00
|
|
|
"--prefix=#{prefix}",
|
2013-09-09 04:41:03 +00:00
|
|
|
"--with-gmp=system",
|
2014-02-25 06:59:23 +00:00
|
|
|
"--with-gmp-prefix=#{Formula["gmp"].opt_prefix}"
|
2013-09-01 06:34:07 +00:00
|
|
|
system "make"
|
|
|
|
system "make", "install"
|
2013-08-21 21:43:42 +00:00
|
|
|
(share/"gdb/auto-load").install Dir["#{lib}/*-gdb.py"]
|
2012-11-05 06:40:05 +00:00
|
|
|
end
|
|
|
|
end
|