From patchwork Sun Feb 9 23:55:55 2014 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Tobias Burnus X-Patchwork-Id: 318641 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@bilbo.ozlabs.org Received: from sourceware.org (server1.sourceware.org [209.132.180.131]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ozlabs.org (Postfix) with ESMTPS id 158DE2C00A5 for ; Mon, 10 Feb 2014 10:56:09 +1100 (EST) DomainKey-Signature: a=rsa-sha1; c=nofws; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender :message-id:date:from:mime-version:to:cc:subject:references :in-reply-to:content-type:content-transfer-encoding; q=dns; s= default; b=XOBpHeA8OYN9hDSirO+P/9LgYT+z5mVg0LepAyjgakxexYwrgBmrd vzsZBe27HiuQ3qsWgeBMkELcAeTf3EJX4xSg4aHBOYEyKAkJKgifyvdlskKwcGCV GpxFvWNJ/qnjULfam5vYlZbn1d0jDrKMlRvbZsCanJGohjjxq8RV+g= DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender :message-id:date:from:mime-version:to:cc:subject:references :in-reply-to:content-type:content-transfer-encoding; s=default; bh=9um0HMjIbgJ5cwjsFQB4vxSlimQ=; b=fM3++mF3hfDMZMyaJzTLGYcmLmzJ K878aEtXKpofmy1sHxD+TRwEmqrTOyAbX4/+Sa1lOgnImYJIRtAclTyHMx+hA+gH m+hgh3QfpNVtUw1dHxUGspnQ/fbgqf1xQf6iZw4p8SaqWz6b9bg2TP+qZ30Ggz5Y qtGc9NQnhla9oSk= Received: (qmail 29380 invoked by alias); 9 Feb 2014 23:56:02 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Unsubscribe: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Delivered-To: mailing list gcc-patches@gcc.gnu.org Received: (qmail 29371 invoked by uid 89); 9 Feb 2014 23:56:02 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.0 required=5.0 tests=AWL, BAYES_00 autolearn=ham version=3.3.2 X-HELO: mailrelay5.qsc.de Received: from mailrelay5.qsc.de (HELO mailrelay5.qsc.de) (195.90.0.237) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-SHA encrypted) ESMTPS; Sun, 09 Feb 2014 23:56:01 +0000 Received: from mx01.qsc.de ([213.148.129.14]) by mailgate5.qsc.de; Mon, 10 Feb 2014 00:55:56 +0100 Received: from archimedes.net-b.de (port-92-194-199-211.dynamic.qsc.de [92.194.199.211]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by mx01.qsc.de (Postfix) with ESMTPS id 8CB633CB1C; Mon, 10 Feb 2014 00:55:56 +0100 (CET) Message-ID: <52F8158B.9090904@net-b.de> Date: Mon, 10 Feb 2014 00:55:55 +0100 From: Tobias Burnus User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.3.0 MIME-Version: 1.0 To: Tobias Grosser , Mircea Namolaru , gcc-patches@gcc.gnu.org CC: Sven Verdoolaege Subject: Re: {GRAPHITE] Replacement of isl_int by isl_val References: <1524563193.2995465.1391960875935.JavaMail.root@inria.fr> <52F7E2BC.9090905@grosser.es> In-Reply-To: <52F7E2BC.9090905@grosser.es> X-cloud-security-sender: burnus@net-b.de X-cloud-security-recipient: gcc-patches@gcc.gnu.org X-cloud-security-Virusscan: CLEAN X-cloud-security-disclaimer: This E-Mail was scanned by E-Mailservice on mailgate5 with 36E111490003 X-cloud-security-connect: mx01.qsc.de[213.148.129.14], TLS=, IP=213.148.129.14 X-cloud-security: scantime:.2297 Tobias Grosser wrote: > On 02/09/2014 04:47 PM, Mircea Namolaru wrote: >> Patch for replacement of the isl_int (obsolete) by isl_val. > > Just for people not aware of the idea of this patch. Cloog recently > upgraded to the latest version of isl (isl-0.12.2) and with this > release isl deprecated the isl_int interface in favor of the isl_val > interface. Is isl_int already in ISL 0.10 and/or in ISL 0.11.1? 0.10 is still supported by configure and 0.11.1 is *the* version listed in prerequisites. Cf. http://gcc.gnu.org/ml/gcc/2014-01/msg00288.html If it is only in 0.11.1, I think configure can be simply updated without further ado. Tobias PS: I think we should apply the following patch: -@item ISL Library version 0.11.1 +@item ISL Library version 0.11.1 (or later) --- a/gcc/doc/install.texi +++ b/gcc/doc/install.texi @@ -386 +386 @@ installed but it is not in your default library search path, the