build: add lint option to configure script

Usage: ./configure --enable-lint

Use during development to supress non-critical warnings.

* configure.ac: Add --enable-lint option.
* HACKING: Mention this option.

diff --git a/HACKING.md b/HACKING.md
index eead16f..9d32280 100644 (file)
--- a/HACKING.md
+++ b/HACKING.md
@@ -51,6 +51,10 @@ To disable code optimization (e.g. for easier debugging), run:
     # or during make
     make CFLAGS="-g -O0"
 
+To enable LINT mode:
+
+    ./configure --enable-lint
+
 To test Debian-hardening configuration, run:
 
     make deb-hard

diff --git a/configure.ac b/configure.ac
index e2ca521..4c4f5da 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -59,6 +59,23 @@ gl_WARN_ADD([-Wsuggest-attribute=const])
 gl_WARN_ADD([-Wsuggest-attribute=pure])
 AC_SUBST([WARN_CFLAGS])
 
+
+# Enable lint checks, for coverage/static-analyzers.
+AC_ARG_ENABLE([lint],
+              [AS_HELP_STRING([--enable-lint],[enable lint])],
+              [case $enableval in
+                 yes|no) ;;
+                 *)   AC_MSG_ERROR([bad value $enableval for lint option]) ;;
+               esac
+               use_lint=$enableval],
+              [use_lint=no]
+              )
+if test "$use_lint" = yes ; then
+  AC_DEFINE([lint], [1], [Define to 1 if the compiler is checking for lint.])
+fi
+
+
+
 ## Add --enable-werror option to ./configure,
 ## To enable/disable treating compiler warnings as errors.
 ## If not specified AND we're compiling from .git repository,