gmp-5.0.3 / gmp-4.3.2: wrong ABI descission

Falk Hayn falk.hayn at
Fri Mar 2 15:34:06 CET 2012

Dear Ladies and Sirs,

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


abilist=32 64  <--- the best value at the end ?



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 ?

Dependend  products report in configure stage
libmpfr not found or uses a different abi

NEU: FreePhone 3-fach-Flat mit kostenlosem Smartphone!                                  
Jetzt informieren:
-------------- next part --------------
A non-text attachment was scrubbed...
Name: config.log
Type: application/octet-stream
Size: 218045 bytes
Desc: not available
URL: <>

More information about the gmp-bugs mailing list