[PPL-devel] configure: error: Cannot find GMP version 4.1.3 or higher.

After building and testing gmp-5.0.1 I find that the configure process in ppl 0.11.2 fails to recognize that it is available.

What I see is this :

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.

This is blatantly wrong.

Is there a simple fix ?