Re: [PATCH] Allow new ISL/CLooG versions

[Dominique Dhumieres]

In order to bootstrap r195167 with the new ISL/CLooG versions,
I had to apply the following patch:

--- ../work/configure   2013-01-14 19:32:00.000000000 +0100
+++ configure   2013-01-14 19:42:15.000000000 +0100
@@ -5848,7 +5848,7 @@ else
 int
 main ()
 {
-if (strncmp (isl_version (), "isl-0.10", strlen ("isl-0.10")) != 0)
+if (strncmp (isl_version (), "isl-0.11", strlen ("isl-0.11")) != 0)
      return 1;
 
   ;
@@ -6033,7 +6033,7 @@ int
 main ()
 {
 #if CLOOG_VERSION_MAJOR != 0 \
-    || CLOOG_VERSION_MINOR != 17 \
+    || CLOOG_VERSION_MINOR != 18 \
     || CLOOG_VERSION_REVISION < 0
     choke me
    #endif

(I didn't bother to update the messages: got 
checking for version 0.10 of ISL... yes
checking for version 0.17.0 of CLooG... yes).

Dominique