config/static-checking-config.mk
author Siddharth Agarwal <sid.bugzilla@gmail.com>
Wed, 13 May 2009 19:45:03 +0100
changeset 2633 ca5f5cc54427cb796feccc31b23993950707ea8f
parent 1792 4189e950a5a17c93ac6820fc3c1a327a8b173aef
child 5150 a803df412b502af888daf6eefb20aa00c0d70db6
permissions -rw-r--r--
Bug 482966 - "MAPI support for Windows Explorer Send To Mail Recipient doesn't work in 3.0b2" [r+sr=bienvenu]

# The entire tree should be subject to static analysis using the XPCOM
# script. Additional scripts may be added by specific subdirectories.

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

DEHYDRA_MODULES = \
  $(MOZILLA_SRCDIR)/xpcom/analysis/final.js \
  $(NULL)

TREEHYDRA_MODULES = \
  $(MOZILLA_SRCDIR)/xpcom/analysis/outparams.js \
  $(MOZILLA_SRCDIR)/xpcom/analysis/stack.js \
  $(MOZILLA_SRCDIR)/xpcom/analysis/flow.js \
  $(MOZILLA_SRCDIR)/js/src/jsstack.js \
  $(NULL)

DEHYDRA_ARGS = \
  --topsrcdir=$(topsrcdir) \
  --objdir=$(MOZDEPTH) \
  --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