Index: configure.ac |
diff --git a/configure.ac b/configure.ac |
index 30e1f3b44c8c560fe0070ccc2997095ce86e4351..4f32ad47df5fe8281e5dc4908cadacc135c11f85 100644 |
--- a/configure.ac |
+++ b/configure.ac |
@@ -26,6 +26,12 @@ AC_ARG_ENABLE(documentation, |
[DOCUMENTATION=$enableval]) |
AC_SUBST(DOCUMENTATION) |
+AC_ARG_WITH(flexlexer-dir, |
+ [AS_HELP_STRING([--with-flexlexer-dir=DIR], |
+ [location of FlexLexer.h.])], |
+ [FLEXLEXER_DIR=$withval], |
+ [FLEXLEXER_DIR=""]) |
+ |
GUILEv2=no |
AC_ARG_ENABLE(guile2, |
[AS_HELP_STRING([--enable-guile2], |