diff options
Diffstat (limited to 'am/flex.m4')
-rw-r--r-- | am/flex.m4 | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/am/flex.m4 b/am/flex.m4 new file mode 100644 index 000000000..58d2c4b0a --- /dev/null +++ b/am/flex.m4 @@ -0,0 +1,12 @@ +# flex.m4 serial 1 +AC_DEFUN([MU_PROG_FLEX], +[ + if test "x$LEX" = x; then + AC_PROG_LEX + if ! $LEX --version 2>/dev/null | grep -q '^flex '; then + LEX="$SHELL $missing_dir/missing flex" + AC_SUBST([LEX_OUTPUT_ROOT], [lex.yy]) + AC_SUBST([LEXLIB], ['']) + fi +]) + |