gmp-5.0.3 / gmp-4.3.2: wrong ABI descission

[Torbjorn Granlund]

"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