From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 2781 invoked by alias); 14 Jan 2013 20:29:10 -0000 Received: (qmail 2760 invoked by uid 22791); 14 Jan 2013 20:29:04 -0000 X-SWARE-Spam-Status: No, hits=-2.7 required=5.0 tests=AWL,BAYES_00,KHOP_RCVD_UNTRUST,KHOP_THREADED,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 20:28:59 +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 r0EKSrIE052317 ; Mon, 14 Jan 2013 21:28:53 +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 3B2E23BC6B; Mon, 14 Jan 2013 21:28:53 +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 2xIhoxefGOs9; Mon, 14 Jan 2013 21:28:53 +0100 (CET) Received: by mailhost.lps.ens.fr (Postfix, from userid 8513) id 20F6D3BC70; Mon, 14 Jan 2013 21:28:53 +0100 (CET) Date: Mon, 14 Jan 2013 20:29:00 -0000 To: howarth@bromo.med.uc.edu, dominiq@lps.ens.fr Cc: tobias@grosser.es, rguenther@suse.de, gcc-patches@gcc.gnu.org Subject: Re: [PATCH] Allow new ISL/CLooG versions References: <20130114192712.BE33A3BE1B@mailhost.lps.ens.fr> <20130114202039.GA22255@bromo.med.uc.edu> In-Reply-To: <20130114202039.GA22255@bromo.med.uc.edu> 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: <20130114202853.20F6D3BC70@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/msg00744.txt.bz2 Jack, Without the change for isl, I get at configure time: -g -O2 -I/opt/mp/include -I/opt/mp/include checking for version 0.10 of ISL... no -g -O2 -I/opt/mp/include -I/opt/mp/include checking for version 0.11 of ISL... (cached) no configure: error: Unable to find a usable ISL. See config.log for details. and after it but without the change for CLooG checking for version 0.10 of ISL... yes checking for version 0.17.0 of CLooG... no checking for version 0.18.0 of CLooG... (cached) no I don't know if this support your claim or not. Dominique