From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-patches-return-225398-listarch-gcc-patches=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 5234 invoked by alias); 21 Aug 2008 19:38:15 -0000
Received: (qmail 5223 invoked by uid 22791); 21 Aug 2008 19:38:14 -0000
X-Spam-Check-By: sourceware.org
Received: from gv-out-0910.google.com (HELO gv-out-0910.google.com) (216.239.58.190)     by sourceware.org (qpsmtpd/0.31) with ESMTP; Thu, 21 Aug 2008 19:37:39 +0000
Received: by gv-out-0910.google.com with SMTP id i36so51515gve.10         for <gcc-patches@gcc.gnu.org>; Thu, 21 Aug 2008 12:37:37 -0700 (PDT)
Received: by 10.210.82.7 with SMTP id f7mr190138ebb.140.1219347456835;         Thu, 21 Aug 2008 12:37:36 -0700 (PDT)
Received: by 10.210.76.11 with HTTP; Thu, 21 Aug 2008 12:37:36 -0700 (PDT)
Message-ID: <cb9d34b20808211237jb6efd27j47d05d4ba8f0f0c1@mail.gmail.com>
Date: Thu, 21 Aug 2008 19:52:00 -0000
From: "Sebastian Pop" <sebpop@gmail.com>
To: "Jack Howarth" <howarth@bromo.msbb.uc.edu>
Subject: Re: [PPL-devel] Cloog and PPL 0.10
Cc: "Roberto Bagnara" <bagnara@cs.unipr.it>, "Paolo Bonzini" <bonzini@gnu.org>,  	"Jagasia, Harsha" <harsha.jagasia@amd.com>,  	"Harle, Christophe" <christophe.harle@amd.com>,  	"Jan Sjodin" <Jan.Sjodin@amd.com>,  	"Albert Cohen" <Albert.Cohen@inria.fr>,  	"=?ISO-8859-1?Q?C=E9dric_Bastoul?=" <cedric.bastoul@inria.fr>,  	"The Parma Polyhedra Library developers' list" <ppl-devel@cs.unipr.it>,  	"GCC Patches" <gcc-patches@gcc.gnu.org>,  	"rajagopal, dwarak" <dwarak.rajagopal@amd.com>,  	"Sven Verdoolaege" <skimo@kotnet.org>
In-Reply-To: <20080821191827.GA5952@bromo.msbb.uc.edu>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <489549F5.6000703@cs.unipr.it> 	 <cb9d34b20808031043r75a94c4fvfa653cd11367b62e@mail.gmail.com> 	 <48A58B9E.4080808@cs.unipr.it> <48A58E6D.9070100@cs.unipr.it> 	 <cb9d34b20808200952m45fa1623tf19fa7b3f331a049@mail.gmail.com> 	 <cb9d34b20808201115tbbb7f27g76b53359d55859ba@mail.gmail.com> 	 <48AD6BA2.1060308@gnu.org> <20080821133323.GA16092@bromo.msbb.uc.edu> 	 <48ADA154.1030904@cs.unipr.it> 	 <20080821191827.GA5952@bromo.msbb.uc.edu>
X-IsSubscribed: yes
Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-patches.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-patches/>
List-Post: <mailto:gcc-patches@gcc.gnu.org>
List-Help: <mailto:gcc-patches-help@gcc.gnu.org>
Sender: gcc-patches-owner@gcc.gnu.org
X-SW-Source: 2008-08/txt/msg01581.txt.bz2

On Thu, Aug 21, 2008 at 2:18 PM, Jack Howarth <howarth@bromo.msbb.uc.edu> wrote:
>    Is the external ABI of ppl the same between 1.0pre22 and 1.0pre23?
> I am wondering if I should just be able to install the new 1.0pre23
> or if I need to rebuild both cloog-ppl git and gcc against it as well.

pre23 contains more functions for domain_simplify, but these are not
yet used in cloog.git.  I will send a note when CLooG is using these
and when you'll have to update cloog and ppl.  For the moment either
pre22 or pre23 should just work.

Sebastian