config/static-checking-config.mk
author Mark Banner <bugzilla@standard8.plus.com>
Tue, 19 Mar 2013 20:22:26 +0000
changeset 16447 285be5932f9dfb4e0e6a9203f84d2c1fc84fbde0
parent 12009 84ac3c71109811da751f0ef2d72108075938f094
child 24860 23bf18bc6edbc51172ef8a75421c01fba5da1c43
child 25942 56635a802e796257f18931197f0dbfe1aef8a6e8
permissions -rw-r--r--
imported patch makefile_remove_complicated

# This Source Code Form is subject to the terms of the Mozilla Public
# License, v. 2.0. If a copy of the MPL was not distributed with this
# file, You can obtain one at http://mozilla.org/MPL/2.0/.

# 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 \
  $(MOZILLA_SRCDIR)/xpcom/analysis/override.js \
  $(MOZILLA_SRCDIR)/xpcom/analysis/must-override.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 \
  $(MOZILLA_SRCDIR)/layout/generic/frame-verify.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