On 28/11/12 02:46, Steve Lorimer wrote: > I'm attempting to run configure for ppl-0.11 > > It fails to find gmp, even though I have installed gmp-4.3.2 (with > --enable-cxx set) > > Both of these are the recommended versions in > <src-dir>/gcc-4.7.2/gcc/doc/HTML/prerequisites.html It worked for me recently. I did something similar to: cd gmp-5.0.5 ./configure --enable-cxx --prefix=/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64 make sudo make install cd .. cd ppl-0.11 ./configure --prefix=/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64 --with-gmp=/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64 make etc. I had some problems at that point, too, but I was just missing --enable-cxx You can try compiling the test program used by configure and check what errors appear. Just extract the lines 11139-11193 of ppl-0.11 configure and pass it to g++ with the appropiate -I -L of your prefix.