GMP builds 64-bit binaries when asked for a 32-bit build

[Torbjorn Granlund]

Bruno Haible <bruno at clisp.org> writes:

  It was already reported in
    https://lists.gnu.org/archive/html/bug-gmp/2008-04/msg00000.html
  but still occurs with gmp 5.0.2.
  
[snip]
  
  The gmp manual documents this behaviour:
    http://gmplib.org/manual/ABI-and-ISA.html#ABI-and-ISA
  
This was reported to the bugs mailing list, but the reporter is clearly
aware of that the behaviour is the intensional and documented.

We do not plan to change the current behaviour.

-- 
Torbjörn