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

[Jay Foad]

On 24 January 2018 at 16:55, Marc Glisse <marc.glisse at inria.fr> 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?

Thanks,
Jay.