root wrote:

Respected Sir, I have RedHat 9 i386 machine. I have GMP-4.1.3 installed with following command

#CPPFLAGS=-fexceptions ./configure --enable-cxx --prefix=/pkgs/GMP-4.1.3 --exec-prefix=/pkgs/GMP-4.1.3

#make #make install

after that for installing ppl-0.5 i ran #./configure --with-gmp-includes=/pkgs/GMP-4.1.3/include --with-gmp-dir=/pkgs/GMP-4.1.3/lib --prefix=/pkgs/PPL --exec-prefix=/pkgs/PPL > config.log and it gives the same error stating GMP not found. Attaching config1.log

With GMP installed at default directories. ( no prefix or exec-prefix given for GMP installation) configure for ppl generates config2.log ( Attached)

Any help would be greatly appreciated.

Dear Saurabh, I believe the problem is outlined by the following lines in config2.log:

configure:4731: checking for the GMP library configure:4757: g++ -o conftest -g -O2 -I/pkgs/GMP-4.1.3/include conftest.cc -L/pkgs/GMP-4.1.3/lib -lgmpxx -lgmp >&5 configure:4760: $? = 0 configure:4762: ./conftest ./conftest: error while loading shared libraries: libgmpxx.so.3: cannot open shared object file: No such file or directory

It seems the dynamic linker has not been instructed about the location where you have installed your version of GMP. Assuming that the directory `/pkgs/GMP-4.1.3/lib' includes a file called `libgmpxx.so.3', the quickest way to rectify the situation is probably to add the directory `/pkgs/GMP-4.1.3/lib' to the environment variable `LD_LIBRARY_PATH'. If your are using the bash shell, you can add the line export LD_LIBRARY_PATH=/pkgs/GMP-4.1.3/lib:$LD_LIBRARY_PATH to your $HOME/.bash_profile and, at your next login, everything should work as expected. If not, please come back to us. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it