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