From 0c85a2c258f52d0bcb083d9c9935bb50523f319d Mon Sep 17 00:00:00 2001 From: Denis Buzdalov Date: Sat, 9 May 2020 23:52:55 +0300 Subject: [PATCH] C-flags were slightly reorganized in the `Idris.mk`. --- Idris.mk | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/Idris.mk b/Idris.mk index 7d47f1e..a09b935 100644 --- a/Idris.mk +++ b/Idris.mk @@ -1,5 +1,7 @@ -IDRIS_CFLAGS += -I$(IDRIS_RTS_PATH) -I$(IDRIS_RTS_PATH)/arduino -EXTRA_FLAGS = $(IDRIS_CFLAGS) -DFORCE_ALIGNMENT -DIDRIS_TARGET_OS=\"none\" -DIDRIS_TARGET_TRIPLE=\"arduino\" +IDRIS_INCLUDES += -I$(IDRIS_RTS_PATH) -I$(IDRIS_RTS_PATH)/arduino +CFLAGS += $(IDRIS_INCLUDES) + +IDRIS_RTS_CFLAGS = -DFORCE_ALIGNMENT -DIDRIS_TARGET_OS=\"none\" -DIDRIS_TARGET_TRIPLE=\"arduino\" NO_CORE_MAIN_CPP := "true" @@ -15,4 +17,4 @@ include $(ARDUINO_MAKEFILE_PATH) # Idris rts files $(OBJDIR)/rts/%.o: $(IDRIS_RTS_PATH)/%.c $(COMMON_DEPS) | $(OBJDIR) @$(MKDIR) $(dir $@) - $(CC) -MMD -c $(CPPFLAGS) $(CFLAGS) $(IDRIS_C_FLAGS) $< -o $@ + $(CC) -MMD -c $(CPPFLAGS) $(CFLAGS) $(IDRIS_RTS_CFLAGS) $< -o $@