
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

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
participants (2)
-
Martin Rohde
-
Roberto Bagnara