diff options
Diffstat (limited to 'js/src/config/static-checking-config.mk')
-rw-r--r-- | js/src/config/static-checking-config.mk | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/js/src/config/static-checking-config.mk b/js/src/config/static-checking-config.mk new file mode 100644 index 0000000..153c771 --- /dev/null +++ b/js/src/config/static-checking-config.mk @@ -0,0 +1,24 @@ +DEHYDRA_SCRIPT = $(topsrcdir)/config/static-checking.js + +DEHYDRA_MODULES = \ + $(NULL) + +TREEHYDRA_MODULES = \ + $(topsrcdir)/jsstack.js \ + $(NULL) + +DEHYDRA_ARG_PREFIX=-fplugin-arg-gcc_treehydra- + +DEHYDRA_ARGS = \ + $(DEHYDRA_ARG_PREFIX)script=$(DEHYDRA_SCRIPT) \ + $(DEHYDRA_ARG_PREFIX)topsrcdir=$(topsrcdir) \ + $(DEHYDRA_ARG_PREFIX)objdir=$(DEPTH) \ + $(DEHYDRA_ARG_PREFIX)dehydra-modules=$(subst $(NULL) ,$(COMMA),$(strip $(DEHYDRA_MODULES))) \ + $(DEHYDRA_ARG_PREFIX)treehydra-modules=$(subst $(NULL) ,$(COMMA),$(strip $(TREEHYDRA_MODULES))) \ + $(NULL) + +DEHYDRA_FLAGS = -fplugin=$(DEHYDRA_PATH) $(DEHYDRA_ARGS) + +ifdef DEHYDRA_PATH +OS_CXXFLAGS += $(DEHYDRA_FLAGS) +endif |