[PPL-devel] Loading the SWI-Prolog interface of the PPL under Mac OS X
Roberto Bagnara
bagnara at cs.unipr.it
Sun Oct 7 17:00:27 CEST 2007
Fred Mesnard wrote:
> 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
You don't have Libtool installed.
>>> - 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?
Your compiler is not searching GMP in /usr/local.
You should add
--with-libgmpxx-prefix=/usr/local
to your configure options.
Cheers,
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