gmp-5.0.3 / gmp-4.3.2: wrong ABI descission

[Falk Hayn]

Hi Torbjörn,
thx. for Your reply.

I investigated these thins deeper.

To gibe You th whle view, I need gmp-5.0.3 to build

mpfr-3.1.0 
mpc-0.9

as a prereq. to build gcc.

I ran in the "wrong ABI" problem in the configure stage of both libs and gcc.

Investigating this issue deeper, I found that autoconf gave a back a wrong negative result.

I do use a clean open source enviroment - everything build from scratch - everything sitting under /usr/local

To workaround this problem I found as workaround

./configure -with-gmp-lib=/usr/local/lib

This is strange, because the configure stage found the static libs already.
Three open source kits ran into the same problem. Strange.

What is Your opinion about this ? Is this a gmp problem or a autoconf problem ?



-------- Original-Nachricht --------
> Datum: Fri, 02 Mar 2012 16:20:31 +0100
> Von: Torbjorn Granlund <tg at gmplib.org>
> An: "Falk Hayn" <falk.hayn at gmx.de>
> CC: gmp-bugs at gmplib.org
> Betreff: Re: gmp-5.0.3 / gmp-4.3.2: wrong ABI descission

> "Falk Hayn" <falk.hayn at gmx.de> writes:
> 
>   I found the following thing I Presume is a bug.
>   
>   hostname = my-64bit-itanium-server
>   uname -m = ia64                    <-- 64 bit
>   uname -r = B.11.31
>   uname -s = HP-UX
>   uname -v = U
>   
>   and
>   
>   abilist=32 64  <--- the best value at the end ?
>   
>   and
>   
>   Decided:
>   ABI=32
>   
>   This 32 bit is the best decision on 64 bit platforms ?
>   
>   config.log attached.
>   
>   What file must be fixed in gmp-5.0.3  to have a clear 64 ABI decision ?
>   I feel that the abilist is reverse sorted and the 1st value is trated as
> t the best value ?
>   
> Please see the GMP manual for information about ABI choice in GMP and
> how to control it.
> 
> I don't recall the reasons for defaulting to the 32-bit ABI under hpux,
> but surely there are some efficiency problems with hpux's 64-bit ABI.
> 
> -- 
> Torbjörn

-- 
Empfehlen Sie GMX DSL Ihren Freunden und Bekannten und wir
belohnen Sie mit bis zu 50,- Euro! https://freundschaftswerbung.gmx.de