public inbox for gcc-patches@gcc.gnu.org
 help / color / mirror / Atom feed
From: dominiq@lps.ens.fr (Dominique Dhumieres)
To: gcc-patches@gcc.gnu.org
Cc: tobias@grosser.es, howarth@bromo.med.uc.edu, rguenther@suse.de
Subject: Re: [PATCH] Allow new ISL/CLooG versions
Date: Mon, 14 Jan 2013 19:27:00 -0000	[thread overview]
Message-ID: <20130114192712.BE33A3BE1B@mailhost.lps.ens.fr> (raw)

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

             reply	other threads:[~2013-01-14 19:27 UTC|newest]

Thread overview: 19+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-01-14 19:27 Dominique Dhumieres [this message]
2013-01-14 20:20 ` Jack Howarth
2013-01-14 20:29   ` Dominique Dhumieres
2013-01-14 20:45     ` Jack Howarth
2013-01-15  9:24   ` Richard Biener
2013-01-15 10:06     ` Richard Biener
2013-01-15 12:58       ` Jakub Jelinek
2013-01-15 14:07       ` Jack Howarth
2013-01-16  9:31         ` Richard Biener
2013-01-16  9:36           ` Richard Biener
  -- strict thread matches above, loose matches on Subject: below --
2013-01-14 20:18 Dominique Dhumieres
2013-01-14 14:29 Richard Biener
2013-01-14 15:44 ` Tobias Grosser
2013-01-14 16:03   ` Jack Howarth
2013-01-14 16:29     ` Jack Howarth
2013-01-14 18:20       ` Richard Biener
2013-01-14 20:04         ` Jack Howarth
2013-01-20 10:15 ` Eric Botcazou
2013-01-20 13:27   ` Richard Biener

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20130114192712.BE33A3BE1B@mailhost.lps.ens.fr \
    --to=dominiq@lps.ens.fr \
    --cc=gcc-patches@gcc.gnu.org \
    --cc=howarth@bromo.med.uc.edu \
    --cc=rguenther@suse.de \
    --cc=tobias@grosser.es \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).