2011-10-25 19:17:26 +00:00
|
|
|
class Cloog < Formula
|
2015-05-19 00:00:59 +00:00
|
|
|
desc "Generate code for scanning Z-polyhedra"
|
2015-02-18 08:57:35 +00:00
|
|
|
homepage "http://www.cloog.org/"
|
2015-12-05 20:01:09 +00:00
|
|
|
url "http://www.bastoul.net/cloog/pages/download/count.php3?url=./cloog-0.18.4.tar.gz"
|
|
|
|
sha256 "325adf3710ce2229b7eeb9e84d3b539556d093ae860027185e7af8a8b00a750e"
|
2011-10-25 19:17:26 +00:00
|
|
|
|
2013-09-24 23:40:45 +00:00
|
|
|
bottle do
|
2013-12-05 07:03:21 +00:00
|
|
|
cellar :any
|
2015-12-05 21:02:42 +00:00
|
|
|
sha256 "c7407a2e1aa5139f8a43a71dc78e0900ce9e11c6b4cdc2617ee607dc24fa1ae4" => :el_capitan
|
|
|
|
sha256 "1ce90177c211a155780eda3122dcdf1862febacd2d71531f37256c209f490068" => :yosemite
|
|
|
|
sha256 "40fc8851316d8f531abb4b8746bd9644452e64513fb3ff33dd8ae4a188808546" => :mavericks
|
2013-09-24 23:40:45 +00:00
|
|
|
end
|
|
|
|
|
2014-06-13 11:48:34 +00:00
|
|
|
head do
|
2015-02-18 08:57:35 +00:00
|
|
|
url "http://repo.or.cz/r/cloog.git"
|
2014-06-13 11:48:34 +00:00
|
|
|
depends_on "autoconf" => :build
|
|
|
|
depends_on "automake" => :build
|
|
|
|
depends_on "libtool" => :build
|
|
|
|
end
|
|
|
|
|
2015-02-18 08:57:35 +00:00
|
|
|
depends_on "pkg-config" => :build
|
|
|
|
depends_on "gmp"
|
|
|
|
depends_on "isl"
|
2011-10-25 19:17:26 +00:00
|
|
|
|
|
|
|
def install
|
2014-06-13 11:48:34 +00:00
|
|
|
system "./autogen.sh" if build.head?
|
|
|
|
|
|
|
|
args = [
|
|
|
|
"--disable-dependency-tracking",
|
|
|
|
"--disable-silent-rules",
|
|
|
|
"--prefix=#{prefix}",
|
|
|
|
"--with-gmp=system",
|
|
|
|
"--with-gmp-prefix=#{Formula["gmp"].opt_prefix}",
|
|
|
|
"--with-isl=system",
|
2015-10-05 12:43:04 +00:00
|
|
|
"--with-isl-prefix=#{Formula["isl"].opt_prefix}",
|
2014-06-13 11:48:34 +00:00
|
|
|
]
|
|
|
|
|
|
|
|
args << "--with-osl=bundled" if build.head?
|
|
|
|
|
|
|
|
system "./configure", *args
|
2015-02-18 08:57:35 +00:00
|
|
|
system "make", "install"
|
2011-10-25 19:17:26 +00:00
|
|
|
end
|
|
|
|
|
2013-03-25 04:29:37 +00:00
|
|
|
test do
|
2012-11-05 06:40:05 +00:00
|
|
|
cloog_source = <<-EOS.undent
|
|
|
|
c
|
2011-10-25 19:17:26 +00:00
|
|
|
|
2012-11-05 06:40:05 +00:00
|
|
|
0 2
|
|
|
|
0
|
2011-10-25 19:17:26 +00:00
|
|
|
|
2012-11-05 06:40:05 +00:00
|
|
|
1
|
2011-10-25 19:17:26 +00:00
|
|
|
|
2012-11-05 06:40:05 +00:00
|
|
|
1
|
|
|
|
0 2
|
|
|
|
0 0 0
|
|
|
|
0
|
2011-10-25 19:17:26 +00:00
|
|
|
|
2012-11-05 06:40:05 +00:00
|
|
|
0
|
|
|
|
EOS
|
2011-10-25 19:17:26 +00:00
|
|
|
|
2014-05-04 19:12:41 +00:00
|
|
|
output = pipe_output("#{bin}/cloog /dev/stdin", cloog_source)
|
2015-02-18 08:57:35 +00:00
|
|
|
assert_match %r{Generated from /dev/stdin by CLooG}, output
|
2011-10-25 19:17:26 +00:00
|
|
|
end
|
|
|
|
end
|