adding configurable flags to the makefile option, defaulting to -no-c…

…heck-mode
maniacs-pl · Jun 28, 2016 · 3e6482a · 3e6482a
1 parent 89ee514
commit 3e6482a
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -133,14 +133,18 @@ build/show-compilation.jarr: $(PHASEA)/pyret.jarr src/scripts/show-compilation.a
                       --compiled-dir build/show-comp/compiled/ \
                       -no-check-mode \
                       --require-config src/scripts/standalone-configA.json
-
+ifneq ($(EF),)
+EXTRA_FLAGS=$(EF)
+else
+EXTRA_FLAGS = -no-check-mode
+endif
 %.jarr: $(PHASEA)/pyret.jarr %.arr
 	$(NODE) $(PHASEA)/pyret.jarr --outfile $*.jarr \
                       --build-runnable $*.arr \
                       --builtin-js-dir src/js/trove/ \
                       --builtin-arr-dir src/arr/trove/ \
                       --compiled-dir compiled/ \
-                      -no-check-mode \
+                      $(EXTRA_FLAGS) \
                       --require-config src/scripts/standalone-configA.json
 
 $(PHASEA_ALL_DEPS): | $(PHASEA)