GMP 6.0 miscompiles for arm-unknown-linux-gnueabihf

[Torbjorn Granlund]

Marc Glisse <marc.glisse at inria.fr> writes:

  At least, with the options I tested earlier (the same used by Steve),
  it defined __thumb__ and __thumb2__. If we don't specify CFLAGS, gmp
  adds -marm which disables thumb.

I suppose our thumb support is poor today.

We should at least support thumb only devices, i.e., some low-end
devices from the M series.  These should come out as "thumb-*-*" from
config.guess.


Torbjörn
Please encrypt, key id 0xC8601622