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/localto 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$