[PPL-devel] Loading the SWI-Prolog interface of the PPL under Mac OS X
Roberto Bagnara
bagnara at cs.unipr.it
Sun Oct 7 15:43:01 CEST 2007
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 at cs.unipr.it
More information about the PPL-devel
mailing list