diff mbox

Allow new ISL/CLooG versions

Message ID 20130114192712.BE33A3BE1B@mailhost.lps.ens.fr
State New
Headers show

Commit Message

Dominique d'Humières Jan. 14, 2013, 7:27 p.m. UTC 
In order to bootstrap r195167 with the new ISL/CLooG versions,
I had to apply the following patch:


(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
diff mbox

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