[PPL-devel] Installing PPL

[Martin Rohde]

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 at klftfs01.tn.tudelft.nl