7 Oct
2007
7 Oct
'07
3: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