diff options
author | Kelvin M. Klann <kmk3.code@protonmail.com> | 2024-02-28 01:27:46 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-02-28 01:27:46 +0000 |
commit | df2dbec7ee19b5ae0450d3e0f4166dd7a2a21a9c (patch) | |
tree | b4e5307752020de1e456cb5a2fe768bf63933e25 /configure.ac | |
parent | build(deps): bump github/codeql-action from 3.24.3 to 3.24.5 (diff) | |
parent | build: sync scan-build target with CI (diff) | |
download | firejail-df2dbec7ee19b5ae0450d3e0f4166dd7a2a21a9c.tar.gz firejail-df2dbec7ee19b5ae0450d3e0f4166dd7a2a21a9c.tar.zst firejail-df2dbec7ee19b5ae0450d3e0f4166dd7a2a21a9c.zip |
Merge pull request #6222 from kmk3/build-override-tools
build: allow overriding certain tools & sync targets with CI
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/configure.ac b/configure.ac index 7a2c379fe..2762c2ef0 100644 --- a/configure.ac +++ b/configure.ac | |||
@@ -19,6 +19,10 @@ AC_CONFIG_SRCDIR([src/firejail/main.c]) | |||
19 | AC_CONFIG_MACRO_DIR([m4]) | 19 | AC_CONFIG_MACRO_DIR([m4]) |
20 | 20 | ||
21 | AC_PROG_CC | 21 | AC_PROG_CC |
22 | AC_CHECK_PROGS([CODESPELL], [codespell]) | ||
23 | AC_CHECK_PROGS([CPPCHECK], [cppcheck]) | ||
24 | AC_CHECK_PROGS([GAWK], [gawk]) | ||
25 | AC_CHECK_PROGS([SCAN_BUILD], [scan-build]) | ||
22 | 26 | ||
23 | DEPS_CFLAGS="" | 27 | DEPS_CFLAGS="" |
24 | AC_SUBST([DEPS_CFLAGS]) | 28 | AC_SUBST([DEPS_CFLAGS]) |
@@ -139,8 +143,7 @@ AC_ARG_ENABLE([man], | |||
139 | [AS_HELP_STRING([--disable-man], [disable man pages])]) | 143 | [AS_HELP_STRING([--disable-man], [disable man pages])]) |
140 | AS_IF([test "x$enable_man" != "xno"], [ | 144 | AS_IF([test "x$enable_man" != "xno"], [ |
141 | HAVE_MAN="-DHAVE_MAN" | 145 | HAVE_MAN="-DHAVE_MAN" |
142 | AC_CHECK_PROG([HAVE_GAWK], [gawk], [yes], [no]) | 146 | AS_IF([test "x$GAWK" = "x"], [AC_MSG_ERROR([*** gawk not found ***])]) |
143 | AS_IF([test "x$HAVE_GAWK" != "xyes"], [AC_MSG_ERROR([*** gawk not found ***])]) | ||
144 | ]) | 147 | ]) |
145 | 148 | ||
146 | HAVE_PRIVATE_HOME="" | 149 | HAVE_PRIVATE_HOME="" |