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

[Fred Mesnard]

Le 7 oct. 07 à 19:00, Roberto Bagnara a écrit :
> You don't have Libtool installed.

there's one:

$ which libtool
/usr/bin/libtool

maybe not the right one!


> Your compiler is not searching GMP in /usr/local.
> You should add
>
>     --with-libgmpxx-prefix=/usr/local
>
> to your configure options.


ordinateur-de-fred-mesnard:~/Desktop/ppl-0.9 fred$ ./configure --with- 
libgmpxx-prefix=/usr/local
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes

...

checking for uint_fast64_t... yes
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.
ordinateur-de-fred-mesnard:~/Desktop/ppl-0.9 fred$