summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPaul Moore <pmoore@redhat.com>2014-08-21 12:05:08 -0400
committerPaul Moore <pmoore@redhat.com>2014-08-21 14:55:12 -0400
commitb61f4065f76f3868a6c597f37932de2e65e4fa97 (patch)
treedeea4648398160c5273d77bd512c9469363b4d09
parent76eaa8a1e41fe8295142811b74de53ea2474e79e (diff)
downloadlibseccomp-b61f4065f76f3868a6c597f37932de2e65e4fa97.tar.gz
build: add support for Coverity scanning
Thanks to the folks at Coverity for supporting Open Source projects such as this one. Signed-off-by: Paul Moore <pmoore@redhat.com>
-rw-r--r--.gitignore2
-rw-r--r--Makefile.am17
-rw-r--r--configure.ac6
3 files changed, 25 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index ad67217..82d45ac 100644
--- a/.gitignore
+++ b/.gitignore
@@ -23,3 +23,5 @@ tags
/libtool
/m4
/stamp-h1
+/cov-int
+/libseccomp-coverity_*.tar.gz
diff --git a/Makefile.am b/Makefile.am
index 4709b78..7fe0787 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -34,3 +34,20 @@ check-build: all
check-syntax:
@./tools/check-syntax
+
+if COVERITY
+coverity-build: clean
+ cov-build --dir cov-int ${MAKE} ${AM_MAKEFLAGS} check-build
+endif
+
+if COVERITY
+coverity-tarball: coverity-build
+ @git rev-parse HEAD &> /dev/null && \
+ rev=$$(git rev-parse HEAD | cut -c1-8) || \
+ rev=$$(date --iso-8601=date); \
+ tar czf libseccomp-coverity_$$rev.tar.gz cov-int; \
+ ls -l libseccomp-coverity_$$rev.tar.gz
+endif
+
+clean-local:
+ ${RM} -rf cov-int libseccomp-coverity_*.tar.gz
diff --git a/configure.ac b/configure.ac
index 8cdf4e5..59044e6 100644
--- a/configure.ac
+++ b/configure.ac
@@ -112,6 +112,12 @@ AC_DEFINE_UNQUOTED([ENABLE_PYTHON],
[Python bindings build flag.])
dnl ####
+dnl coverity checks
+dnl ####
+AC_CHECK_PROG(have_coverity, cov-build, "yes", "no")
+AM_CONDITIONAL(COVERITY, test "$have_coverity" = yes)
+
+dnl ####
dnl version dependent files
dnl ####
AC_CONFIG_FILES([