
7 Oct
2007
7 Oct
'07
1:43 p.m.
Fred Mesnard wrote:
Wrt PPL:
- I've tried the CVS version but autoreconf failed
Hi Fred,
can you please post a log of the failed autoreconf.
- I've tried PPL 0.9, which did not believe I was running
GMP 4.2.2 ...
Same for this one? Thanks,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it