gmp 6.2.0 build failure in 32-bit mode on Linux/mips

[Bruno Haible]

Torbjörn Granlund wrote:
>   $ ../configure CC="gcc -mabi=32"
> 
> Please see the Installing GMP chapter in the fine manual.

Do you mean, VPATH builds are not supported?

In the section "Build Options" it mentions the possibility to set the CC
variable. I've built many packages with this setting of CC.

The section "ABI and ISA" has a subsection "MIPS under IRIX 6" but
no section regarding Linux/MIPS.

The section "Notes for Package Builds" should not apply to me, since
I'm not building a binary distribution.

The section "Notes for Particular Systems" has no info regarding Linux/mips.

You need to be less sibyllinic. Which sentence or paragraph in the manual
do you mean I've overlooked?

Bruno