Makefile: add support for ABC_USE_STDINT_H

9c78efba · Baruch Sterin · 4a39f326 · 9c78efba
Commit 9c78efba authored Mar 30, 2018 by Baruch Sterin
Hide whitespace changes
Inline Side-by-side

Showing with 7 additions and 1 deletions

Makefile
+7 -1

No files found.
--- a/Makefile
+++ b/Makefile
@@ -43,7 +43,13 @@ $(ARCHFLAGS_EXE) : arch_flags.c

 INCLUDES += -I$(ABCSRC)/src

-ARCHFLAGS ?= $(shell $(CC) $(ABCSRC)/arch_flags.c -o $(ARCHFLAGS_EXE) && $(ARCHFLAGS_EXE))
+# Use C99 stdint.h header for platform-dependent types
+ifdef ABC_USE_STDINT_H
+    ARCHFLAGS ?= -DABC_USE_STDINT_H=1
+else
+    ARCHFLAGS ?= $(shell $(CC) $(ABCSRC)/arch_flags.c -o $(ARCHFLAGS_EXE) && $(ARCHFLAGS_EXE))
+endif
+
 ARCHFLAGS := $(ARCHFLAGS)

 OPTFLAGS  ?= -g -O