diff options
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 17 |
1 files changed, 15 insertions, 2 deletions
diff --git a/configure.in b/configure.in index c661c4ad74..50f9fc8cc2 100644 --- a/configure.in +++ b/configure.in @@ -731,7 +731,7 @@ FPTOOLS_GREENCARD(3.00) AC_ARG_ENABLE(src-tree-happy, [ --enable-src-tree-happy - Build and use source tree (fptools/happy) version of happy. + Build and use source tree (fptools/happy) version of Happy. ], [UseSrcTreeHappy=YES], [UseSrcTreeHappy=NO] @@ -744,7 +744,7 @@ fi; AC_ARG_ENABLE(src-tree-haddock, [ --enable-src-tree-haddock - Build and use source tree (fptools/haddock) version of haddock. + Build and use source tree (fptools/haddock) version of Haddock. ], [UseSrcTreeHaddock=YES], [UseSrcTreeHaddock=NO] @@ -752,6 +752,19 @@ AC_ARG_ENABLE(src-tree-haddock, dnl ** check for installed haddock FPTOOLS_HADDOCK +AC_ARG_ENABLE(src-tree-alex, +[ --enable-src-tree-alex + Build and use source tree (fptools/alex) version of Alex. +], +[UseSrcTreeAlex=YES], +[UseSrcTreeAlex=NO] +) +dnl ** check for installed alex binary + version +dnl (don't do it if we're booting from .hc files though.) +if test "$BootingFromHc" = "NO"; then +FPTOOLS_ALEX +fi; + dnl -------------------------------------------------- dnl ### program checking section ends here ### dnl -------------------------------------------------- |