2011/5/13 Rafael Fontenelle rffontenelle@gmail.com:
2011/5/12 Roberto Bagnara bagnara@cs.unipr.it
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
Therefore I need to force the gmp headers path with LDPATH+=" -I/usr/lib32/gmp/include" and it works! Thanks a lot! -- Rafael _______________________________________________ PPL-devel mailing list PPL-devel@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel
Mr. Roberto Bagnara,
Some time ago you help me to find out what was the problem building 32-bit library for 64-bit system (a lib32 package), which I solved by pointing out to 32 bit headers of GMP.
My problem now is someone else adopted the lib32-gmp package and removed the headers (This is, in matter of fact, the default for lib32 packages in Archlinux. Ex: package 'gmp' cointains header and everything else 64-bit for 64 bit system [1], while 'lib32-gmp' contains only 32-bit libs for 64-bit system [2]).
How can I (if possible) compile 32-bit PPL 0.11.2 for 64-bit system using headers from 64-bit gmp and the 32-bit library from lib32-gmp ?
[1] https://www.archlinux.org/packages/core/x86_64/gmp/files/ [2] https://www.archlinux.org/packages/multilib/x86_64/lib32-gmp/files/
Thanks,
-- Rafael