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

[Fred Mesnard]

Le 7 oct. 07 à 17:43, Roberto Bagnara a écrit :

> Fred Mesnard wrote:
>> Wrt PPL:
>> - I've tried the CVS version but autoreconf failed
>
> can you please post a log of the failed autoreconf.


PPL, CVS version:

% autoreconf
configure.ac:291: error: possibly undefined macro: AC_LIBTOOL_DLOPEN
       If this token and others are legitimate, please use  
m4_pattern_allow.
       See the Autoconf documentation.
configure.ac:292: error: possibly undefined macro: AC_LIBTOOL_WIN32_DLL
configure.ac:293: error: possibly undefined macro: AC_PROG_LIBTOOL
autoreconf: /usr/local/bin/autoconf failed with exit status: 1

>
>> - I've tried PPL 0.9, which did not believe I was running
>> GMP 4.2.2 ...
>
> Same for this one?

No, this one has a configure, so let's run it:

...
checking for ld used by GCC... /usr/libexec/gcc/i686-apple- 
darwin8/4.0.1/ld
checking if the linker (/usr/libexec/gcc/i686-apple-darwin8/4.0.1/ld)  
is GNU ld... no
checking for shared library run path origin... done
checking how to link with libgmp... -L/usr/local/lib -lgmp
checking how to link with libgmpxx... -L/usr/local/lib -lgmpxx -L/usr/ 
local/lib -lgmp
checking for the GMP library version 4.1.3 or above... no
configure: error: Cannot find GMP version 4.1.3 or higher.
GMP is the GNU Multi-Precision library:
see http://www.swox.com/gmp/ for more information.
When compiling the GMP library, do not forget to enable the C++  
interface:
add --enable-cxx to the configuration options.

Although I did compile (make, make check and make install) GMP 4.2.2  
yesterday :

/usr/local/lib fred$ ls -la *gmp*
-rwxr-xr-x   1 root  wheel  273331 Oct  6 08:09 libgmp.3.4.2.dylib
lrwxr-xr-x   1 root  wheel      18 Oct  6 08:09 libgmp.3.dylib ->  
libgmp.3.4.2.dylib
-rw-r--r--   1 root  wheel  513840 Oct  6 08:09 libgmp.a
lrwxr-xr-x   1 root  wheel      18 Oct  6 08:09 libgmp.dylib ->  
libgmp.3.4.2.dylib
-rwxr-xr-x   1 root  wheel     797 Oct  6 08:09 libgmp.la
-rwxr-xr-x   1 root  wheel   25971 Oct  6 08:09 libgmpxx.4.0.2.dylib
lrwxr-xr-x   1 root  wheel      20 Oct  6 08:09 libgmpxx.4.dylib ->  
libgmpxx.4.0.2.dylib
-rw-r--r--   1 root  wheel   32536 Oct  6 08:09 libgmpxx.a
lrwxr-xr-x   1 root  wheel      20 Oct  6 08:09 libgmpxx.dylib ->  
libgmpxx.4.0.2.dylib
-rwxr-xr-x   1 root  wheel     836 Oct  6 08:09 libgmpxx.la

What did I miss?

Fred