diff options
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 970c427409..b345eeeab8 100644 --- a/configure.in +++ b/configure.in @@ -53,6 +53,22 @@ else fi AC_PATH_PROG(LEX, flex) + +# +# Check whether Flex supports -R, so we can build reentrant scanners. +# +AC_MSG_CHECKING(whether Flex can generate reentrant scanners) +if flex -R -t <<EOF >/dev/null 2>&1 +%% +%% +EOF +then + AC_MSG_RESULT(yes) + AC_DEFINE(FLEX_REENTRANT_SCANNERS, 1, [Define if Flex can generate reentrant scanners]) +else + AC_MSG_RESULT(no) +fi + AC_PATH_PROG(PYTHON, python) AC_SUBST(PERL) |