11 Jun
2002
11 Jun
'02
10:47 a.m.
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