<div class="gmail_quote">2011/5/11 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;">

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

<div><br></div><div>I tried again and I'm sending the build log and config.log.. I hope it helps to debug.</div><div><br></div><div>Command line was:</div><div><br></div><div><div>  export CFLAGS="-m32 -mtune=generic -O2 -pipe"</div>

<div>  export CXXFLAGS="-m32 -mtune=generic -O2 -pipe"  </div><div><br></div><div>  ./configure --prefix=/usr --enable-interfaces="c,cxx" \</div><div><span class="Apple-tab-span" style="white-space:pre">               </span>--libdir=/usr/lib32 --libexecdir=/usr/lib32</div>

</div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"> </blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">


Please direct all messages to <a href="mailto:ppl-devel@cs.unipr.it" target="_blank">ppl-devel@cs.unipr.it</a>.<div><div></div><div class="h5"><br></div></div></blockquote><div> </div><div>Sorry, it was automatic. Sending to correct address now. </div>

<div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div><div class="h5">
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>Thanks</div><div><br></div><div>-- Rafael</div>