ppl-0.11 fails to find gmp-4.3.2

ppl-0.11 fails to find gmp-4.3.2

[Steve Lorimer]

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

Re: ppl-0.11 fails to find gmp-4.3.2

[Ángel González]

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.