diff options
| author | Dan Halbert <halbert@adafruit.com> | 2020-12-17 11:03:40 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-17 11:03:40 -0500 |
| commit | 8f9cd7075e706b714ff0166414f399d521f6302b (patch) | |
| tree | 85854ea3e476cf67dfe4d8e7a6b5d943ab757675 /ports/stm | |
| parent | 68dd4b2b37d35218e306a0de2efb659cbd505fb6 (diff) | |
| parent | 4521dfb73289eaa9d17cb61b29b49c10adf1f4a3 (diff) | |
Merge pull request #3752 from jepler/gcc10
build: Update to gcc10
Diffstat (limited to 'ports/stm')
| -rwxr-xr-x | ports/stm/Makefile | 5 | ||||
| -rw-r--r-- | ports/stm/boards/espruino_pico/mpconfigboard.mk | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/ports/stm/Makefile b/ports/stm/Makefile index b9426e07e..e09fe736c 100755 --- a/ports/stm/Makefile +++ b/ports/stm/Makefile @@ -86,7 +86,7 @@ ifeq ($(DEBUG), 1) CFLAGS += -fno-inline -fno-ipa-sra else CFLAGS += -DNDEBUG - OPTIMIZATION_FLAGS ?= -O2 + OPTIMIZATION_FLAGS ?= -O2 -fno-inline-functions CFLAGS += -ggdb3 # TODO: Test with -flto # CFLAGS += -flto @@ -95,6 +95,9 @@ endif # to override compiler optimization level, set in boards/$(BOARD)/mpconfigboard.mk CFLAGS += $(OPTIMIZATION_FLAGS) +# Add -ftree-vrp optimization and checking to all builds. It's not enabled for -Os by default. +CFLAGS += -ftree-vrp + # MCU Series is defined by the HAL package and doesn't need to be specified here C_DEFS = -D$(MCU_PACKAGE) -DUSE_HAL_DRIVER -DUSE_FULL_LL_DRIVER -D$(MCU_VARIANT) diff --git a/ports/stm/boards/espruino_pico/mpconfigboard.mk b/ports/stm/boards/espruino_pico/mpconfigboard.mk index 556ff35c4..14f9323fd 100644 --- a/ports/stm/boards/espruino_pico/mpconfigboard.mk +++ b/ports/stm/boards/espruino_pico/mpconfigboard.mk @@ -20,3 +20,5 @@ LD_FILE = boards/STM32F401xd_fs.ld # lto for this port, and if other stuff hasn't been added in the # meantime CIRCUITPY_ULAB = 0 + +SUPEROPT_GC = 0 |