diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/makefile | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/scripts/makefile b/scripts/makefile index cf8a07e..2f2d8d9 100644 --- a/scripts/makefile +++ b/scripts/makefile @@ -14,6 +14,11 @@ ASSERTFLAGS != [ "$(ASSERT)" != "0" ] \ && echo "-DASSERT=1" \ || echo +JIT ?= 1 +JITFLAGS != [ "$(JIT)" != "0" ] \ + && echo "-DJIT=1" \ + || echo + DEPFLAGS = -MT $@ -MMD -MP -MF $@.d LINTFLAGS = -fsyntax-only PREPROCESS = -E @@ -27,11 +32,11 @@ OBFLAGS = -g WARNFLAGS = -Wall -Wextra -Wvla COMPILE_FLAGS = $(CFLAGS) $(WARNFLAGS) $(OPTFLAGS) $(OBFLAGS) $(ASSERTFLAGS) \ - $(DEBUGFLAGS) + $(DEBUGFLAGS) $(JITFLAGS) LINK_FLAGS = $(LDFLAGS) -lm -INCLUDE_FLAGS = -I include +INCLUDE_FLAGS = -I include -I deps COMPILE = $(CC) \ $(COMPILE_FLAGS) $(DEPFLAGS) $(INCLUDE_FLAGS) |