On 05/11/11 14:18, rafael ff1 wrote:
2011/5/11 Roberto Bagnarabagnara@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@cs.unipr.it _______________________________________________ PPL-devel mailing list PPL-devel@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@cs.unipr.it. Cheers,
Roberto