Cloog and PPL 0.10

[Sebastian Pop]

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?

Thanks,
Sebastian Pop
--
AMD - GNU Tools
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 1157_graphite_ppl-0.10.diff
Type: text/x-diff
Size: 3220 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20080820/1183cf3a/attachment.bin>