Sorry,
maybe I should have sent this mail to this address.
Martin Rohde
----------------------------------------------------------------------- Dear Roberto,
thank you for your quick response. Here the information:
I installed GMP 4.1 (the latest version from the gnu website)
The prefix just points to a test directory, because it is not yet installed officially on our lab. So I created the directory /tmp/gmp in order to test the GMP library, together with PPL. But this should work anyhow. I have the feeling that, though the --with-gmp* are used, PPL uses the default GMP directory, where version 3 is installed. Our administrator doesn't want to change to version 4 immediately, because of the links to other applications...
The output of g++ -v is gcc version 2.96 20000731 (Red Hat Linux 7.1 2.96-81)
The output of uname-a is Linux klftdh07.tn.tudelft.nl 2.4.8-ac2 #4 Mon Aug 13 15:02:24 CEST 2001 i686 unknown
The config.log file can be found as an attachment in this mail.
I hope you can help me, because the library looks very interesting and powerful!
Thank you.
Martin Rohde
On Tue, 11 Jun 2002, Roberto Bagnara wrote:
Martin Rohde wrote:
Hello,
I'm trying to install PPL, but everytime I do
./configure --prefix=/tmp/ppl
I get the message that GMP4 cannot be found. The /tmp dir is in PATH and I installed GMP with the --enable-cxx option and set CPPFLAGS to -fexceptions.
Who can help me?
Thank you
Martin Rohde
Delft University of Technology Kramers Laboratorium voor Fysische Technologie Tel 0031 +152787084 Mail martin@klftfs01.tn.tudelft.nl
PPL-devel mailing list PPL-devel@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel
Dear Martin,
as you see, I have forwarded your message to ppl-devel@cs.unipr.it, which is the right list for this kind of issues (ppl-announce@cs.unipr.it is a moderated list that we only use for important annoucements such as the release of new versions of the library).
In order to help you, we need some information. Which version of GMP did you install? How did you configure GMP exactly (the prefix you used is particularly important)? Which version of GCC did you use (send us the output of `g++ -v')? Which architecture (send us the output of `uname -a')? Could you send us the file called config.log that has been created in the directory where you run the PPL configure script? Later
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
Martin Rohde
Delft University of Technology Kramers Laboratorium voor Fysische Technologie Tel 0031 +152787084 Mail martin@klftfs01.tn.tudelft.nl
The following attachment was sent, but NOT saved in the Fcc copy: A Text/PLAIN segment of about 8,412 bytes.