Patchwork Allow new ISL/CLooG versions

login
register
mail settings
Submitter Dominique Dhumieres
Date Jan. 14, 2013, 7:27 p.m.
Message ID <20130114192712.BE33A3BE1B@mailhost.lps.ens.fr>
Download mbox | patch
Permalink /patch/211868/
State New
Headers show

Comments

Dominique Dhumieres - Jan. 14, 2013, 7:27 p.m.
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

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