From 5e1ae81c5f53012dcab2b568b3d404d5ba00b13a Mon Sep 17 00:00:00 2001
From: Xiyue Deng <manphiz@gmail.com>
Date: Sun, 4 Nov 2012 22:40:05 -0800
Subject: [PATCH] New formula: isl

* Make cloog build using external isl.
  - Needed by newer GCC for which the bundled isl in cloog 0.17.0 is
    too old.
* Improve cloog test case indentation.

Closes Homebrew/homebrew#15862.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
---
 Formula/cloog.rb | 32 +++++++++++++++++++-------------
 Formula/isl.rb   | 22 ++++++++++++++++++++++
 2 files changed, 41 insertions(+), 13 deletions(-)
 create mode 100644 Formula/isl.rb

diff --git a/Formula/cloog.rb b/Formula/cloog.rb
index 876fb05b30..e3af5d9c8c 100644
--- a/Formula/cloog.rb
+++ b/Formula/cloog.rb
@@ -7,29 +7,35 @@ class Cloog < Formula
 
   depends_on 'pkg-config' => :build
   depends_on 'gmp'
+  depends_on 'isl'
 
   def install
-    system "./configure", "--disable-debug", "--disable-dependency-tracking",
-                          "--prefix=#{prefix}"
+    args = [
+      "--disable-dependency-tracking",
+      "--prefix=#{prefix}",
+      "--with-isl-prefix=#{Formula.factory('isl').opt_prefix}"
+    ]
+
+    system "./configure", *args
     system "make install"
   end
 
   def test
-    cloog_source = <<END
-c
+    cloog_source = <<-EOS.undent
+      c
 
-0 2
-0
+      0 2
+      0
 
-1
+      1
 
-1
-0 2
-0 0 0
-0
+      1
+      0 2
+      0 0 0
+      0
 
-0
-END
+      0
+    EOS
 
     pipe = IO.popen("cloog /dev/stdin", "w+")
     pipe.write(cloog_source)
diff --git a/Formula/isl.rb b/Formula/isl.rb
new file mode 100644
index 0000000000..e2ba5a37bc
--- /dev/null
+++ b/Formula/isl.rb
@@ -0,0 +1,22 @@
+require 'formula'
+
+class Isl < Formula
+  homepage 'http://www.kotnet.org/~skimo/isl/'
+  url 'http://www.kotnet.org/~skimo/isl/isl-0.10.tar.bz2'
+  mirror 'ftp://gcc.gnu.org/pub/gcc/infrastructure/isl-0.10.tar.bz2'
+  sha1 '91db73f10075a67039c38abfcd5b1bd64581a6e3'
+
+  head 'http://repo.or.cz/w/isl.git'
+
+  depends_on 'gmp'
+
+  def install
+    args = [
+      "--disable-dependency-tracking",
+      "--prefix=#{prefix}",
+    ]
+
+    system "./configure", *args
+    system "make install"
+  end
+end