[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:28:14 CEST 2007
Fred Mesnard wrote:
>
> 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!
The command `libtool --version' should report at least version 1.5.22.
>> 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$
Please send me the generated `config.log' file.
--
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