GMP 6.3.0: Failure building on MinGW (defaulting to ABI=64)

Marc Glisse marc.glisse at
Sun Dec 10 22:51:10 CET 2023

On Sun, 10 Dec 2023, Simon Sobisch wrote:

> $ ./config.guess && gcc --version && as --version

gcc -v file.c
gives more information about the assembler that is really used.

> gcc.exe ( GCC Build-2) 9.2.0

gcc-9 is old. Isn't abandoned? I thought everyone had moved to

> using ABI="64"
>      CC="gcc"
>      CFLAGS="-Wno-attribute"

Specifying CFLAGS yourself is not a great idea, it prevents GMP from 
adding nice optimization flags. If you really want to pass -Wno-attribute, 
either put it in CPPFLAGS, or run configure once without CFLAGS to see 
what GMP wants to use, and add -Wno-attribute to that.

> This error seems to be related to changing the ABI after the initial 
> configure. Using "make distclean" fixes this.
> I therefore think that something like `AC_ARG_VAR([ABI], [Application Binary 
> Interface to use])` (maybe also reference 
> in its description) should be added to 
> to make that error on an ABI change and also adding this missing 
> piece to configure's help output.

You mean this?

I think it has been there for a while.

Marc Glisse

More information about the gmp-bugs mailing list