<div><div><div class="gmail_quote">2011/5/12 Roberto Bagnara <span dir="ltr"><<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

On 05/11/11 23:07, Rafael Fontenelle wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
2011/5/11 Roberto Bagnara <<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a> <mailto:<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a>>><div class="im"><br>


<br>
    the config.log you sent does not seem to match the file fail-build.log<br>
    you sent earlier.  The latter says:<br>
<br>
<br>
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.<br>


<br>
I tried again and I'm sending the build log and config.log.. I hope it helps to debug.<br>
</div></blockquote>
<br>
This is the relevant part in config.log:<br>
<br>
GMP header (gmp.h) and library (ligmp.*) bits-per-limb mismatch:<br>
header gives 64;<br>
library gives 32.<br>
This probably means you are on a bi-arch system and<br>
you are compiling with the wrong header or linking with<br>
the wrong library.<div><div></div><div class="h5"><br>
<br>
Cheers,<br>
<br>
    Roberto<br>
<br>
-- <br>
Prof. Roberto Bagnara<br>
Applied Formal Methods Laboratory<br>
Department of Mathematics, University of Parma, Italy<br>
<a href="http://www.cs.unipr.it/~bagnara/" target="_blank">http://www.cs.unipr.it/~bagnara/</a><br>
mailto:<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a><br>
</div></div></blockquote></div><br></div></div><div><meta http-equiv="content-type" content="text/html; charset=utf-8">Therefore I need to force the gmp headers path with LDPATH+=" -I/usr/lib32/gmp/include" and it works!<div>

<br></div><div>Thanks a lot!</div><div><br></div><div>-- Rafael</div></div>