js/config/static-checking-config.mk

DEHYDRA_SCRIPT = $(topsrcdir)/config/static-checking.js

DEHYDRA_MODULES = \
  $(NULL)

TREEHYDRA_MODULES = \
  $(topsrcdir)/jsstack.js \
  $(NULL)

DEHYDRA_ARGS = \
  --topsrcdir=$(topsrcdir) \
  --objdir=$(DEPTH) \
  --dehydra-modules=$(subst $(NULL) ,$(COMMA),$(strip $(DEHYDRA_MODULES))) \
  --treehydra-modules=$(subst $(NULL) ,$(COMMA),$(strip $(TREEHYDRA_MODULES))) \
  $(NULL)

DEHYDRA_FLAGS = -fplugin=$(DEHYDRA_PATH) -fplugin-arg='$(DEHYDRA_SCRIPT) $(DEHYDRA_ARGS)'

ifdef DEHYDRA_PATH
OS_CXXFLAGS += $(DEHYDRA_FLAGS)
endif
1	DEHYDRA_SCRIPT = $(topsrcdir)/config/static-checking.js
2
3	DEHYDRA_MODULES = \
4	$(NULL)
5
6	TREEHYDRA_MODULES = \
7	$(topsrcdir)/jsstack.js \
8	$(NULL)
9
10	DEHYDRA_ARGS = \
11	--topsrcdir=$(topsrcdir) \
12	--objdir=$(DEPTH) \
13	--dehydra-modules=$(subst $(NULL) ,$(COMMA),$(strip $(DEHYDRA_MODULES))) \
14	--treehydra-modules=$(subst $(NULL) ,$(COMMA),$(strip $(TREEHYDRA_MODULES))) \
15	$(NULL)
16
17	DEHYDRA_FLAGS = -fplugin=$(DEHYDRA_PATH) -fplugin-arg='$(DEHYDRA_SCRIPT) $(DEHYDRA_ARGS)'
18
19	ifdef DEHYDRA_PATH
20	OS_CXXFLAGS += $(DEHYDRA_FLAGS)
21	endif