[PPL-devel] ppl-0.10 : configure problem
Saurav Pathak
saurav at sas.upenn.edu
Thu Jan 15 19:34:13 CET 2009
Hi,
I am trying to configure ppl-0.10 and the configure script complains
that the GMP version is wrong, even though it correctly identifies the
GMP 4.2.4 library files. Is it possible that an older version of GMP,
lying around is interfering with the configuration (I have an older
version in /usr/lib64, whereas the newest one is installed in
/usr/local). The script gives me the following message before exiting:
checking how to link with libgmp... /usr/local/lib/libgmp.so -Wl,-rpath
-Wl,/usr/local/lib
checking how to link with libgmpxx... /usr/local/lib/libgmpxx.so
/usr/local/lib/libgmp.so -Wl,-rpath -Wl,/usr/local/lib -Wl,-rpath
-Wl,/usr/local/lib
checking for the GMP library version 4.1.3 or above... no
configure: error: Cannot find GMP version 4.1.3 or higher.
My configure command is:
./configure --prefix=/home/saurav/local --with-libgmp-prefix=/usr/local
--with-libgmpxx-prefix=/usr/local --with-gmp-dir=/usr/local/lib
--with-gmp-includes=/usr/local/include --with-gmpxx-dir=/usr/local/lib
--with-gmpxx-includes=/usr/local/include
Any help will be much appreciated.
Thanks,
Saurav
More information about the PPL-devel
mailing list