testing status of GMP (5.0.1)

[Torbjorn Granlund]

Zimmermann Paul <Paul.Zimmermann at loria.fr> writes:

  On hppa2.0-unknown-linux-gnu, the default ABI is 2.0n, and several tests
  fail (on dingo.fsffrance.org, tested with GCC 4.4.1). It would be good that
  the default ABI is tested too, and/or change the default ABI under
  hppa2.0-unknown-linux-gnu to 1.0.
  
I applied a patch that should disable any HPPA 64-bit ABIs when the
linux kernel is detected.  I backported the patch for GMP 5.0 too.

(The GMP repo have the changes.)

-- 
Torbjörn