[PPL-devel] Installing PPL

[Roberto Bagnara]

Martin Rohde wrote:
> I installed the new version, but it still doesn't work. GMP is installed
> in /opt/gmp-4.1 and the PPL library will be installed in /tmp/ppl. For
> configuring, I do
> 
> ./configure --prefix=/tmp/ppl --with-gmp-includes=/opt/gmp-4.1/include
> --with-gmp-dir=/opt/gmp-4.1/lib
> 
> But still, the GMP library is not found. (GMP is installed with the
> --enable-cxx option and CPPFLAGS=-fexceptions).
> 
> I included the configure.log, maybe it will help.

Hi Martin,

in the config.log you have included there is

configure:3692: g++ -o conftest -g -O2 -I/opt/gmp-4.1/include -fexceptions  conftest.cc -L/opt/gmp-4.1/lib -lgmp -lgmpxx  >&5
configure:3695: $? = 0
configure:3697: ./conftest
./conftest: error while loading shared libraries: libgmpxx.so.3: cannot load shared object file: No such file or directory


This would seem to indicate that in /opt/gmp-4.1/lib there is no file
named libgmpxx.so*: is that the case?
This is strange if you have configured GMP with (among the others you mention)
the option --prefix=/opt/gmp-4.1 and if you did not forget to run `make install'
after `make'.
Please come back to us if the problem persists.
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