[PPL-devel] Can't find GMP, but it's installed

[Roberto Bagnara]

On 05/11/11 14:18, rafael ff1 wrote:
> 2011/5/11 Roberto Bagnara<bagnara at cs.unipr.it>:
>>
>> What is the contents of the `config.log' file generated by the
>> `configure' script?
>> Cheers,
>>
>>    Roberto
>>
>> --
>> Prof. Roberto Bagnara
>> Applied Formal Methods Laboratory
>> Department of Mathematics, University of Parma, Italy
>> http://www.cs.unipr.it/~bagnara/
>> mailto:bagnara at cs.unipr.it
>> _______________________________________________
>> PPL-devel mailing list
>> PPL-devel at cs.unipr.it
>> http://www.cs.unipr.it/mailman/listinfo/ppl-devel
>>
>
> I'm sending as attachment a config.log for the aforementioned
> configure script and another one with ld library path forced. Please
> let me know if you don't receive it - some mail lists block
> attachments...
>
> Rafael

Hi Rafael,

the config.log you sent does not seem to match the file fail-build.log
you sent earlier.  The latter says:

checking how to link with libgmp... /usr/lib32/libgmp.so -Wl,-rpath -Wl,/usr/lib32
checking how to link with libgmpxx... /usr/lib32/libgmpxx.so /usr/lib32/libgmp.so -Wl,-rpath -Wl,/usr/lib32 -Wl,-rpath -Wl,/usr/lib32

which looks correct to me.  The former says:

configure:10129: checking how to link with libgmp
configure:10602: result: /usr/lib/libgmp.so
configure:10644: checking how to link with libgmpxx
configure:11117: result: /usr/lib/libgmpxx.so /usr/lib/libgmp.so

which is very different and very wrong, since it is because
of that that later we have:

configure:11252: g++ -m32 -o conftest  -g -O2 -frounding-math -march=x86-64 -mtune=generic -O2 -pipe  -Wl,--hash-style=gnu -Wl,--as-needed conftest.cpp  /usr/lib/libgmpxx.so /usr/lib/libgmp.so >&5
/usr/lib/libgmpxx.so: could not read symbols: File in wrong format
collect2: ld returned 1 exit status

This is caused by the fact that g++ is given the x86_64 version
of GMP.

Please direct all messages to ppl-devel at cs.unipr.it.
Cheers,

     Roberto

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it