[PPL-devel] Can't find GMP, but it's installed

[Rafael Fontenelle]

2011/5/12 Roberto Bagnara <bagnara at cs.unipr.it>

> On 05/11/11 23:07, Rafael Fontenelle wrote:
>
>> 2011/5/11 Roberto Bagnara <bagnara at cs.unipr.it <mailto:
>> bagnara at 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 at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20110513/326326ef/attachment.htm>