[PPL-devel] installation problem.

[Roberto Bagnara]

nitinsk at cfdvs.iitb.ac.in wrote:
 >    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 at 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.

Dear Nitin,

from the files you sent, I gather that you configured GMP 4.1.2
with the command

     ./configure --enable-cxx

Since you have not specified the `--prefix' option, the default
installation prefix `/usr/local' should have been used.
If this is correct, then I don't understand the command with which
you have configured the PPL:

   ./configure --with-gmp-dir=/usr/local/lib \
               --with-gmp-includes=/pkg2/GMP/gmp-4.1.2

I believe it should be

   ./configure --with-gmp-dir=/usr/local/lib \
               --with-gmp-includes=/usr/local/include

Nonetheless, the origin of your problem seems to be another one.
For some reasons, it seems in your system there is another version
of GMP, perhaps compiled with a different (version of the) C++
that is picked up by the linker during the PPL configuration process.
In order to check if this is the problem, please try to compile
the attached snippet (which is the same used in the PPL configuration
script) with the command

   g++ -g -O2 -I/usr/local/include tgmp.cc -L/usr/local/lib -lgmpxx -lgmp

If this fails, please use the verbose option `-v', i.e.,

   g++ -v -g -O2 -I/usr/local/include tgmp.cc -L/usr/local/lib -lgmpxx -lgmp

and send us the messages printed out by the compiler.
Cheers

     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

-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: tgmp.cc
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20030813/6f4a1e0f/attachment.ksh>