From 64aebca1553bea62b4266c0194838a5a7df0e91f Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Tue, 16 Jul 2019 14:47:32 +1000
Subject: [PATCH] stm32/Makefile: Allow a board to disable float support.

By using "MICROPY_FLOAT_IMPL = none" in its mpconfigboard.mk file.
---
 ports/stm32/Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/ports/stm32/Makefile b/ports/stm32/Makefile
index d2ca4122a..f74180d39 100644
--- a/ports/stm32/Makefile
+++ b/ports/stm32/Makefile
@@ -91,9 +91,13 @@ CFLAGS += -DMICROPY_HW_VTOR=$(TEXT0_ADDR)
 ifeq ($(MICROPY_FLOAT_IMPL),double)
 CFLAGS += -DMICROPY_FLOAT_IMPL=MICROPY_FLOAT_IMPL_DOUBLE
 else
+ifeq ($(MICROPY_FLOAT_IMPL),none)
+CFLAGS += -DMICROPY_FLOAT_IMPL=MICROPY_FLOAT_IMPL_NONE
+else
 CFLAGS += -DMICROPY_FLOAT_IMPL=MICROPY_FLOAT_IMPL_FLOAT
 CFLAGS += -fsingle-precision-constant -Wdouble-promotion
 endif
+endif
 
 LDFLAGS = -nostdlib -L $(LD_DIR) $(addprefix -T,$(LD_FILES)) -Map=$(@:.elf=.map) --cref
 LDFLAGS += --defsym=_estack_reserve=8
-- 
GitLab