GMP 4.2.4 fails make check t-mul on hppa-linux

[Laurent GUERBY]

On Sat, 2009-08-01 at 09:30 +0200, Torbjorn Granlund wrote:
> I've run into that too on gcc61.
> 
> The problem is that Linux (the kernel) doesn't correctly save the upper
> 32 bits of 64-bit registers.  I talked somebody who claimed to be an
> hppa Linux developer, and he didn't seem very keen on fixing this
> problem, so here we are.
> 
> Perhaps GMP's configure should simply assume Linux (the kernel) will be
> broken indefinitely, and not use the 2.0n or 2.0w ABIs.

Well if it is known not to work :)

> Your way around this is to pass ABI=1.0 to GMP's configure.

This worked: make check was successful, thanks for your help.

Laurent