ppl-0.11 fails to find gmp-4.3.2

[Steve Lorimer <steve.lorimer@xxxxxxxxx>]

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

    ./configure --prefix=/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64
--with-gmp-prefix=/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64
--with-gmp=/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64

    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.

(Note I tried both '--with-gmp' and '--with-bmp-prefix')


If I look in the directory where I specified `with-gmp`, here is the
installed gmp:


    $ grep MP_VERSION /hostname/tmp/syddev/sdk/gcc472/suse11/x86_64/include/gmp*

        /hostname/tmp/syddev/sdk/gcc472/suse11/x86_64/include/gmp.h:#define
__GNU_MP_VERSION 4
        /hostname/tmp/syddev/sdk/gcc472/suse11/x86_64/include/gmp.h:#define
__GNU_MP_VERSION_MINOR 3
        /hostname/tmp/syddev/sdk/gcc472/suse11/x86_64/include/gmp.h:#define
__GNU_MP_VERSION_PATCHLEVEL 2


    $ ls -l /hostname/tmp/syddev/sdk/gcc472/suse11/x86_64/include/gmp*

        -rw-r--r-- 1 syddev ausdev  84255 2012-11-28 12:12
/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64/include/gmp.h
        -rw-r--r-- 1 syddev ausdev 114898 2012-11-28 12:12
/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64/include/gmpxx.h


    $ ls -l /hostname/tmp/syddev/sdk/gcc472/suse11/x86_64/lib/libgmp*

        -rw-r--r-- 1 syddev ausdev 1047404 2012-11-28 12:12
/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64/lib/libgmp.a
        -rwxr-xr-x 1 syddev ausdev     820 2012-11-28 12:12
/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64/lib/libgmp.la
        lrwxrwxrwx 1 syddev ausdev      15 2012-11-28 12:12
/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64/lib/libgmp.so ->
libgmp.so.3.5.2
        lrwxrwxrwx 1 syddev ausdev      15 2012-11-28 12:12
/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64/lib/libgmp.so.3 ->
libgmp.so.3.5.2
        -rwxr-xr-x 1 syddev ausdev  397040 2012-11-28 12:12
/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64/lib/libgmp.so.3.5.2
        -rw-r--r-- 1 syddev ausdev   36524 2012-11-28 12:12
/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64/lib/libgmpxx.a
        -rwxr-xr-x 1 syddev ausdev     894 2012-11-28 12:12
/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64/lib/libgmpxx.la
        lrwxrwxrwx 1 syddev ausdev      17 2012-11-28 12:12
/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64/lib/libgmpxx.so ->
libgmpxx.so.4.1.2
        lrwxrwxrwx 1 syddev ausdev      17 2012-11-28 12:12
/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64/lib/libgmpxx.so.4 ->
libgmpxx.so.4.1.2
        -rwxr-xr-x 1 syddev ausdev   24587 2012-11-28 12:12
/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64/lib/libgmpxx.so.4.1.2


Any help greatly appreciated
Thanks
Steve