[PPL-devel] Loading the SWI-Prolog interface of the PPL under Mac OS X

[Fred Mesnard]

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 at cs.unipr.it