[PPL-devel] installation problem.

Sir, i have a problem regarding the installation of ppl-0.5. It does not install on my system. configure exits saying that "gmp not found" I have installed GMP on my machine. all self tests that come with GMP are also working fine. for gmp, i used the --enable-cxx option with configure. then make, make check, and finally make install as mentioned in the gmp installation instructions. I start ppl installation with : [root@neem ppl-0.5]# ./configure --with-gmp-dir=/usr/local/lib --with-gmp-includes=/pkg2/GMP/gmp-4.1.2

GMP source directory is /pkg2/GMP/gmp-4.1.2 and GMP libraries are installed in /usr/local/lib.

is there something that i am missing? please help.

Thank you, Nitin Kulkarni.