[PPL-devel] Cloog and PPL 0.10

[Paolo Bonzini]

Sebastian Pop wrote:
> Hi,
> 
> CLooG and Graphite are now expecting PPL 0.10 to be installed.
> You will have to git-pull again the code for CLooG and install a
> new PPL version.  Without that, the current head of the graphite
> branch won't compile anymore.  Instructions on how to build the
> branch are on http://gcc.gnu.org/wiki/Graphite
> 
> I recommend that you use the latest snapshots of PPL, right now
> ftp://ftp.cs.unipr.it/pub/ppl/snapshots/ppl-0.10pre22.tar.bz2
> as I will clean up the code of the CLooG-PPL backend and it will
> rely on new functionality that is present only on beta22.
> 
> Attached is the patch that checks for the version 0.10 of PPL.
> Paolo, does this patch look good to you?

Yes, thanks.

Paolo