Even with gmp 4.3.2 ppl configure is broken :

[titan] $ ./configure ABI=32 --host=i386-pc-solaris2.8 --build=i386-pc-solaris2.8 --prefix=/opt/bw --libdir=/opt/bw/lib/i386 --with-gmp-include=/opt/bw/include --with-gmp-lib=/opt/bw/lib/i386 --enable-dependency-tracking --enable-shared --enable-static checking build system type... i386-pc-solaris2.8 checking host system type... i386-pc-solaris2.8 checking for a BSD-compatible install... /opt/bw/bin/install -c . . . checking for uintptr_t... yes checking for ld used by GCC... /usr/ccs/bin/ld checking if the linker (/usr/ccs/bin/ld) is GNU ld... no checking for shared library run path origin... done checking for 64-bit host... no checking how to link with libgmp... /opt/bw/lib/i386/libgmp.so -R/opt/bw/lib/i386 checking how to link with libgmpxx... /opt/bw/lib/i386/libgmpxx.so /opt/bw/lib/i386/libgmp.so -R/opt/bw/lib/i386 -R/opt/bw/lib/i386 checking for the GMP library version 4.1.3 or above... no configure: error: Cannot find GMP version 4.1.3 or higher. GMP is the GNU Multi-Precision library: see http://www.swox.com/gmp/ for more information. When compiling the GMP library, do not forget to enable the C++ interface: add --enable-cxx to the configuration options. [titan] $

Until it is fixed in a release I can not use ppl in good faith. I'll drop it from our new software stack.