diff options
1 files changed, 14 insertions, 2 deletions
| -rwxr-xr-x | configure | 16 |
@@ -28,6 +28,7 @@ Variables: EXTRA_CFLAGS=OPTIONS MANDOC=BIN SHELLCHECK=BIN + FLAWFINDER=BIN WITH_WEBKITGTK=(4.0|4.1) WITH_URI_PARSER=(guri|libsoup2) @@ -71,6 +72,7 @@ CC="${CC:-cc}" CFLAGS="${CFLAGS:--g -O2 -pie -fPIE}" MANDOC="${MANDOC:-mandoc}" SHELLCHECK="${SHELLCHECK:-shellcheck}" +FLAWFINDER="${FLAWFINDER:-flawfinder}" # Also allow variables through arguments @@ -121,7 +123,7 @@ if command -v "${MANDOC}" >/dev/null ; is_ok then : else - printf 'Warning: Tests depending on mandoc disabled' + printf 'Warning: manpage linting via mandoc(1) disabled' MANDOC="true" fi @@ -130,10 +132,20 @@ if command -v "${SHELLCHECK}" >/dev/null ; is_ok then : else - printf 'Warning: Tests depending on shellcheck disabled' + printf 'Warning: shell linting via shellcheck(1) disabled' SHELLCHECK="true" fi +printf 'Checking %s command existance ...' "${FLAWFINDER}" +if command -v "${FLAWFINDER}" >/dev/null ; is_ok +then + : +else + printf 'Warning: C analysis via flawfinder(1) disabled' + SHELLCHECK="true" +fi + + echo # pkg-config |