[PPL-devel] Cloog and PPL 0.10

[Roberto Bagnara]

Roberto Bagnara wrote:
> The first thing I did was to compile Cloog against PPL 0.10: I had to
> rename a few symbols, but it was a 5-minutes affair... a patch for
> Cloog is attached.

Here is the patch.  By the way, please accept my apologies if I am
mailing someone unnecessarily or if I missed someone else.
Is there a mailing list for this project?  For PPL-related messages
it is very easy: mail ppl-devel at cs.unipr.it (only).
Cheers,

    Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch-for-Cloog-on-PPL-0.10
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20080815/63c4f5ad/attachment.ksh>