Hi Roberto,
here are my very latest (this week) adventures: - I've downloaded Xcode 2.5 - GMP 4.2.2 compiled: make, make check, make install succeeded
Wrt PPL: - I've tried the CVS version but autoreconf failed - I've tried PPL 0.9, which did not believe I was running GMP 4.2.2 ...
So now I'm using Linux under Parallels Desktop on my Mac OS X.
Ciao, Fred
Le 6 oct. 07 à 19:56, Roberto Bagnara a écrit :
Dear Mac OS X users of the PPL,
in view of the imminent release of PPL 0.10 we are going through the TODO file. One item I added some time ago to that file says:
- In the SWI-Prolog documentation, the command to dynamically load the library has to be modified so as to specify the `.so' extension: this is required under Mac OS X and seems not to do any harm under GNU/Linux.
Can you please confirm that
?- load_foreign_library('/usr/local/lib/ppl/libppl_swiprolog').
and
?- unload_foreign_library('/usr/local/lib/ppl/libppl_swiprolog').
do not work under Mac OS X, while
?- load_foreign_library('/usr/local/lib/ppl/libppl_swiprolog.so'). ?- unload_foreign_library('/usr/local/lib/ppl/libppl_swiprolog.so').
do? Thanks a lot,
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