On 05/11/11 23:07, Rafael Fontenelle wrote:
2011/5/11 Roberto Bagnara <bagnara@cs.unipr.it <mailto:bagnara@cs.unipr.it>>
the config.log you sent does not seem to match the file fail-build.log you sent earlier. The latter says:
I guess I used LD_LIBRARY_PATH setting, but didn't mentioned. Can't remember for sure, sorry. But what about the other config.log, which has results with LD_LIBRARY_APTH set? Libraries were pointing to /usr/lib32, which - in may little experience as lib32 packaging - should work fine.
I tried again and I'm sending the build log and config.log.. I hope it helps to debug.
This is the relevant part in config.log: GMP header (gmp.h) and library (ligmp.*) bits-per-limb mismatch: header gives 64; library gives 32. This probably means you are on a bi-arch system and you are compiling with the wrong header or linking with the wrong library. 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