[PPL-devel] [CLooG-dev] 'make check; errors in ppl-0.10.2 and 'gcc'

[Roberto Bagnara]

On 08/27/10 19:09, Sergei Steshenko wrote:
> Regarding "I warmly recommend to use PPL 0.11" - well, I can't, please see
>
> http://groups.google.com/group/cloog-development/browse_thread/thread/db7eee777d1b5054?hl=en#
> .

Hi Sergei,

the answer to your query is "it's only a matter of changing 'configure'"
I am using GCC 4.5.1 and CLooG-PPL 0.15 will PPL 0.11 since three
weeks without any problem.
All the best,

    Roberto

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it