
27 Aug
2010
27 Aug
'10
7:41 p.m.
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/db7eee... .
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@cs.unipr.it