diff options
author | ng0 <ng0@infotropique.org> | 2017-10-14 08:08:28 +0000 |
---|---|---|
committer | ng0 <ng0@infotropique.org> | 2017-10-14 08:08:28 +0000 |
commit | 264206651ce9d2c65d3ad6bc9c2d8587cd5d797a (patch) | |
tree | 9c0b15f88c47c5dbfc773343d337f61efc1c596c /configure.ac | |
parent | f9293c4cb2066dd887becfdee798176bf220cf18 (diff) |
configure.ac: Add a better error message for when makeinfo is missing,
and TODO comments on why this is not sufficient.
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 9d1fb9ab35..aa0cd2c985 100644 --- a/configure.ac +++ b/configure.ac @@ -248,6 +248,11 @@ then fi AC_DEFINE_UNQUOTED([NEED_LIBGCRYPT_VERSION], "$NEED_LIBGCRYPT_VERSION", [required libgcrypt version]) +# TODO: add check for VERSION +# TODO: add check for alternatives +# TODO: add switch to skip documentation building +AM_MISSING_PROG([MAKEINFO], [makeinfo]) + # Adam shostack suggests the following for Windows: # -D_FORTIFY_SOURCE=2 -fstack-protector-all AC_ARG_ENABLE(gcc-hardening, |