Skip to content

Commit

Permalink
cloog: vendor isl 0.18
Browse files Browse the repository at this point in the history
Closes #25179.

Signed-off-by: commitay <commitay@users.noreply.github.com>
  • Loading branch information
commitay committed Mar 13, 2018
1 parent 105607a commit 39ba7b9
Showing 1 changed file with 22 additions and 23 deletions.
45 changes: 22 additions & 23 deletions Formula/cloog.rb
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ class Cloog < Formula
homepage "https://www.bastoul.net/cloog/"
url "https://www.bastoul.net/cloog/pages/download/count.php3?url=./cloog-0.18.4.tar.gz"
sha256 "325adf3710ce2229b7eeb9e84d3b539556d093ae860027185e7af8a8b00a750e"
revision 2
revision 3

bottle do
cellar :any
Expand All @@ -12,33 +12,32 @@ class Cloog < Formula
sha256 "5db5643738fbe35f6bb88ff4df8ba76d18d39d72eeb9f37e835203d3244a8613" => :el_capitan
end

head do
url "http://repo.or.cz/r/cloog.git"
depends_on "autoconf" => :build
depends_on "automake" => :build
depends_on "libtool" => :build
end

depends_on "pkg-config" => :build
depends_on "gmp"
depends_on "isl"

def install
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",
"--with-isl-prefix=#{Formula["isl"].opt_prefix}",
]
resource "isl" do
url "http://isl.gforge.inria.fr/isl-0.18.tar.xz"
mirror "https://mirrors.ocf.berkeley.edu/debian/pool/main/i/isl/isl_0.18.orig.tar.xz"
sha256 "0f35051cc030b87c673ac1f187de40e386a1482a0cfdf2c552dd6031b307ddc4"
end

args << "--with-osl=bundled" if build.head?
def install
resource("isl").stage do
system "./configure", "--disable-dependency-tracking",
"--disable-silent-rules",
"--prefix=#{libexec}",
"--with-gmp=system",
"--with-gmp-prefix=#{Formula["gmp"].opt_prefix}"
system "make", "install"
end

system "./configure", *args
system "./configure", "--disable-dependency-tracking",
"--disable-silent-rules",
"--prefix=#{prefix}",
"--with-gmp=system",
"--with-gmp-prefix=#{Formula["gmp"].opt_prefix}",
"--with-isl=system",
"--with-isl-prefix=#{libexec}"
system "make", "install"
end

Expand Down

0 comments on commit 39ba7b9

Please sign in to comment.