C-flags were slightly reorganized in the Idris.mk.

stepcut · May 12, 2020 · 0c85a2c · 0c85a2c
1 parent 7338864
commit 0c85a2c
Showing 1 changed file with 5 additions and 3 deletions.
diff --git 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 $@