diff options
author | rofl0r <rofl0r@users.noreply.github.com> | 2021-02-13 09:53:55 +0000 |
---|---|---|
committer | rofl0r <rofl0r@users.noreply.github.com> | 2021-02-13 09:53:55 +0000 |
commit | 4147e917d610f793ec14f7bf4ffc82c3b4c92dab (patch) | |
tree | b14e963b07171af8bbc9721c77b725b9cbb74758 | |
parent | adad565c03f3ffde6520646bc5d119ce1eadbadb (diff) |
configure: check whether gperf is compatible
closes #337
-rw-r--r-- | configure.ac | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 00f7f0e..3849383 100644 --- a/configure.ac +++ b/configure.ac @@ -210,7 +210,14 @@ AH_TEMPLATE([HAVE_GPERF], [Whether you have gperf installed for faster config parsing.]) if test "x$GPERF" != "x" -a "x$GPERF" != "xno" ; then + AS_ECHO_N(["checking whether gperf is recent enough... "]) + if "$GPERF" < src/conf-tokens.gperf >/dev/null 2>&1 ; then + AS_ECHO("yes") AC_DEFINE(HAVE_GPERF) + else + AM_CONDITIONAL(HAVE_GPERF, false) + AS_ECHO("no") + fi fi AC_CONFIG_FILES([ |