MicroPython Forum (Archive)

Hello, I have a problem with build firmware for Nucleo F767ZI.

report:

CC mbedtls/mbedtls_port.c
CC build-NUCLEO_F767ZI/pins_NUCLEO_F767ZI.c
LINK build-NUCLEO_F767ZI/firmware.elf
arm-none-eabi-ld: error: build-NUCLEO_F767ZI/firmware.elf uses VFP register arguments, /usr/lib/gcc/arm-none-eabi/4.9.3/libgcc.a(bpabi.o) does not
arm-none-eabi-ld: failed to merge target specific data of file /usr/lib/gcc/arm-none-eabi/4.9.3/libgcc.a(bpabi.o)
arm-none-eabi-ld: error: build-NUCLEO_F767ZI/firmware.elf uses VFP register arguments, /usr/lib/gcc/arm-none-eabi/4.9.3/libgcc.a(_divdi3.o) does not
arm-none-eabi-ld: failed to merge target specific data of file /usr/lib/gcc/arm-none-eabi/4.9.3/libgcc.a(_divdi3.o)
arm-none-eabi-ld: error: build-NUCLEO_F767ZI/firmware.elf uses VFP register arguments, /usr/lib/gcc/arm-none-eabi/4.9.3/libgcc.a(_udivdi3.o) does not
arm-none-eabi-ld: failed to merge target specific data of file /usr/lib/gcc/arm-none-eabi/4.9.3/libgcc.a(_udivdi3.o)
Makefile:689: recipe for target 'build-NUCLEO_F767ZI/firmware.elf' failed
make: *** [build-NUCLEO_F767ZI/firmware.elf] Error 1

Thank you for your advice.

Just a guess:
https://github.com/micropython/micropython/issues/4670