[PPL-devel] configure problem in ppl -problem persists

Roberto Bagnara bagnara at cs.unipr.it
Tue Jun 15 18:17:26 CEST 2004


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 at cs.unipr.it



More information about the PPL-devel mailing list