Some helper rules for running Coverity Prevent
authorKen Raeburn <raeburn@mit.edu>
Wed, 27 Aug 2008 16:45:55 +0000 (16:45 +0000)
committerKen Raeburn <raeburn@mit.edu>
Wed, 27 Aug 2008 16:45:55 +0000 (16:45 +0000)
git-svn-id: svn://anonsvn.mit.edu/krb5/trunk@20698 dc483132-0cff-0310-8789-dd5450dbe970

src/Makefile.in

index fceeaa468376363a73ec1ec838105625cccdc464..0fb2b2d3791ef2590bf1976f2715f514a896b7de 100644 (file)
@@ -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