From: Ken Raeburn <raeburn@mit.edu>
Date: Wed, 27 Aug 2008 16:45:55 +0000 (+0000)
Subject: Some helper rules for running Coverity Prevent
X-Git-Tag: krb5-1.7-alpha1~452
X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=4ca67c5d451c786407b834f7214f232773eb5760;p=krb5.git

Some helper rules for running Coverity Prevent

git-svn-id: svn://anonsvn.mit.edu/krb5/trunk@20698 dc483132-0cff-0310-8789-dd5450dbe970
---

diff --git a/src/Makefile.in b/src/Makefile.in
index fceeaa468..0fb2b2d37 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -632,3 +632,33 @@ krb5-config: $(srcdir)/krb5-config.in $(thisconfigdir)/config.status
 check-unix:: krb5-config
 	$(SHELL) $(srcdir)/t_krbconf
 check-prerecurse: fake-install
+
+COV_BUILD=	cov-build
+COV_ANALYZE=	cov-analyze
+COV_COMMIT=	cov-commit-defects --product "$(COV_PRODUCT)" --user "$(COV_USER)" --target "$(COV_TARGET)" --description "$(COV_DESC)"
+COV_MAKE_LIB=	cov-make-library
+
+COV_PRODUCT=	krb5
+COV_USER=	admin
+COV_DATADIR=
+COV_TARGET=	$(host)
+COV_DESC=
+
+# Set to, e.g., "--all" or "--security".
+COV_ANALYSES=
+# Temporary directory, might as well put it in the build tree.
+COV_TEMPDIR=	cov-temp
+# Sources modeling some functions or macros confusing Prevent.
+COV_MODELS=\
+	$(SRCTOP)/util/coverity-models/threads.c
+
+# Depend on Makefiles to ensure that (in maintainer mode) the configure
+# scripts won't get rerun under cov-build.
+coverity prevent cov: Makefiles
+	$(COV_BUILD) --dir $(COV_TEMPDIR) $(MAKE) all
+	$(COV_ANALYZE) $(COV_ANALYSES) --dir $(COV_TEMPDIR)
+	if test "$(COV_DATADIR)" != ""; then \
+		$(COV_COMMIT) --dir $(COV_TEMPDIR) --datadir $(COV_DATADIR); \
+	else \
+		echo "** Coverity Prevent analysis results not commit to Defect Manager"; \
+	fi