Dear Roberto,
following your instructions, i compiled the code snippet that you had sent. and as you had guessed, it did not compile. i am attaching a file containing the output of the compile command.
Thank you, Nitin Kulkarni.
On Wed, 13 Aug 2003, Roberto Bagnara wrote:
nitinsk@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@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-cxxSince 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@cs.unipr.it
----------------------------------------- Nitin Kulkarni Graduate Student Computer Science and Engineering Dept., IIT Bombay, Mumbai, India. -----------------------------------------