[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