GMP 6.1.2: 32-bit ARM build failure on 64-bit hardware with CFLAGS=-g

Jay Foad jay.foad at
Wed Jan 24 17:00:58 UTC 2018

On 24 January 2018 at 16:55, Marc Glisse <marc.glisse at> wrote:

> On Wed, 24 Jan 2018, Jay Foad wrote:
> I'm trying to build GMP 6.1.2 on a Raspberry Pi 3 Model B (64-bit ARM CPU)
>> running a 32-bit Debian 8 OS. I get:
>> $ ./configure CFLAGS=-g ABI=32 && make
> [...]
> If I remove the "CFLAGS=-g" the error goes away.
> What CFLAGS does GMP use if you don't override its detection?

$ grep ^CFLAGS Makefile
CFLAGS = -O2 -pedantic -fomit-frame-pointer -march=armv8-a -mfloat-abi=hard
-mfpu=neon -mtune=cortex-a53

Is it up to me to include all that in the CFLAGS that I specify? If so, is
there another easy with debug info, without knowing in advance what
compiler flags configure would have autodetected?


More information about the gmp-bugs mailing list