Hi Prof Bangara, Thank you for your prompt reply! I did look into the config.log file, but I could not locate the problem. I attach the file to this. Thanks, Saurav Roberto Bagnara wrote:

Saurav Pathak wrote:

...

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.

Dear Saurav,

have you looked into the file config.log that is generated by the configure script? It should contain more information about what is happening. If you are unsure, please send that file to us. All the best,

Roberto