From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 17404 invoked by alias); 14 Jan 2013 19:27:36 -0000 Received: (qmail 17396 invoked by uid 22791); 14 Jan 2013 19:27:35 -0000 X-SWARE-Spam-Status: No, hits=-2.0 required=5.0 tests=AWL,BAYES_00,KHOP_RCVD_UNTRUST,RCVD_IN_DNSWL_LOW,RP_MATCHES_RCVD X-Spam-Check-By: sourceware.org Received: from nef2.ens.fr (HELO nef2.ens.fr) (129.199.96.40) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Mon, 14 Jan 2013 19:27:29 +0000 Received: from mailhost.lps.ens.fr (tournesol.lps.ens.fr [129.199.120.1]) by nef2.ens.fr (8.13.6/1.01.28121999) with ESMTP id r0EJRCNW041049 ; Mon, 14 Jan 2013 20:27:13 +0100 (CET) X-Envelope-To: gcc-patches@gcc.gnu.org Received: from localhost (localhost [127.0.0.1]) by mailhost.lps.ens.fr (Postfix) with ESMTP id CE7FA3BC6B; Mon, 14 Jan 2013 20:27:12 +0100 (CET) Received: from mailhost.lps.ens.fr ([127.0.0.1]) by localhost (tournesol.lps.ens.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id cjOkl-eW2wLA; Mon, 14 Jan 2013 20:27:12 +0100 (CET) Received: by mailhost.lps.ens.fr (Postfix, from userid 8513) id BE33A3BE1B; Mon, 14 Jan 2013 20:27:12 +0100 (CET) Date: Mon, 14 Jan 2013 19:27:00 -0000 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 User-Agent: Heirloom mailx 12.4 7/29/08 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20130114192712.BE33A3BE1B@mailhost.lps.ens.fr> From: dominiq@lps.ens.fr (Dominique Dhumieres) Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org X-SW-Source: 2013-01/txt/msg00733.txt.bz2 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