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-05-19 17:29:29 +00:00
|
|
|
revision 3
|
2015-09-13 08:52:38 +00:00
|
|
|
sha256 "249e851798964b001db4906934fd4907162fe7b43da41547804fa341a16a03ac" => :el_capitan
|
2015-05-19 17:29:29 +00:00
|
|
|
sha256 "969fb3f488c9efb95cf1d631f6f2e577fa60f09c858b6cda5a477aec9f3552b3" => :yosemite
|
|
|
|
sha256 "63786794ea49b86abd2c0e0168b36ff3489779f1de2b3dfd4ede509dcf6a5bfa" => :mavericks
|
|
|
|
sha256 "00248fca2b492a7a32e9170e2875db55391b4881656cce3f4990f38ca04ec110" => :mountain_lion
|
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
|