[PPL-devel] Installing PPL

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