GMP 4.3.2 fails to compile with --enable-fat

[Zimmermann Paul]

       Torbjörn,

> What configuration 'cpu-blah-blah' does GMP use (alternatively, which
> one did you pass)?
> 
> Is is a 64-bit build?
>
> The first few dozen lines from the output of 'configure' would help.

I did not pass any cpu/host option to configure:

tarte% ./configure --disable-static --enable-fat # GMP 4.3.2
checking build system type... core2-unknown-linux-gnu
checking host system type... core2-unknown-linux-gnu
...
using ABI="64"
      CC="gcc -std=gnu99"
      CFLAGS="-O2 -pedantic -m64"
      CPPFLAGS=""
      MPN_PATH=" x86_64/core2 x86_64 generic"

> I know we had problems with fat builds, but I don't recall exactly which
> releases were affected.  (We now test many fat builds in our night
> builds.)
> [...]
> I have the same questions about this build as for the previous build...

tarte% ./configure --disable-static --enable-fat # GMP 5.0.0
checking build system type... core2-unknown-linux-gnu
checking host system type... core2-unknown-linux-gnu
...
using ABI="64"
      CC="gcc -std=gnu99"
      CFLAGS="-O2 -pedantic -m64"
      CPPFLAGS=""
      MPN_PATH=" x86_64/fat x86_64 generic"

Paul