diff --git a/stmhal/Makefile b/stmhal/Makefile
index b7226c463b..78de62ff11 100644
--- a/stmhal/Makefile
+++ b/stmhal/Makefile
@@ -70,7 +70,7 @@ CFLAGS += $(COPT)
 CFLAGS += -Iboards/$(BOARD)
 CFLAGS += -DSTM32_HAL_H='<stm32$(MCU_SERIES)xx_hal.h>'
 
-ifeq ($(FLOAT_IMPL),double)
+ifeq ($(MICROPY_FLOAT_IMPL),double)
 CFLAGS += -DMICROPY_FLOAT_IMPL=MICROPY_FLOAT_IMPL_DOUBLE
 else
 CFLAGS += -DMICROPY_FLOAT_IMPL=MICROPY_FLOAT_IMPL_FLOAT
@@ -104,7 +104,7 @@ SRC_LIB = $(addprefix lib/,\
 	utils/sys_stdio_mphal.c \
 	)
 
-ifeq ($(FLOAT_IMPL),double)
+ifeq ($(MICROPY_FLOAT_IMPL),double)
 SRC_LIBM = $(addprefix lib/libm_dbl/,\
 	__cos.c \
 	__expo2.c \
diff --git a/stmhal/boards/NUCLEO_F767ZI/mpconfigboard.mk b/stmhal/boards/NUCLEO_F767ZI/mpconfigboard.mk
index b685a6fe07..ba28a16e1e 100644
--- a/stmhal/boards/NUCLEO_F767ZI/mpconfigboard.mk
+++ b/stmhal/boards/NUCLEO_F767ZI/mpconfigboard.mk
@@ -1,5 +1,5 @@
 MCU_SERIES = f7
 CMSIS_MCU = STM32F767xx
-FLOAT_IMPL = double
+MICROPY_FLOAT_IMPL = double
 AF_FILE = boards/stm32f767_af.csv
 LD_FILE = boards/stm32f767.ld
diff --git a/stmhal/boards/STM32F769DISC/mpconfigboard.mk b/stmhal/boards/STM32F769DISC/mpconfigboard.mk
index c25c0b79e5..99234e4cf1 100644
--- a/stmhal/boards/STM32F769DISC/mpconfigboard.mk
+++ b/stmhal/boards/STM32F769DISC/mpconfigboard.mk
@@ -1,5 +1,5 @@
 MCU_SERIES = f7
 CMSIS_MCU = STM32F769xx
-FLOAT_IMPL = double
+MICROPY_FLOAT_IMPL = double
 AF_FILE = boards/stm32f767_af.csv
 LD_FILE = boards/stm32f769.ld