[PPL-devel] ppl-0.10 configuration problem

[Saurav Pathak]

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