diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2009-12-04 04:18:26 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2009-12-04 04:18:26 +0000 |
| commit | e9180663ece595c9ddf8f5bc3caea5b2ea20472a (patch) | |
| tree | feaba000984c1a5904ff689533430ee2a75606fb | |
| parent | 7ae25006aa380df63469f593b523ddf6dd0d2e53 (diff) | |
Forgot to commit changes to configure.ac
| -rw-r--r-- | configure.ac | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 6ae40dfca..6b9125b18 100644 --- a/configure.ac +++ b/configure.ac @@ -248,6 +248,9 @@ AC_PROG_LIBTOOL AM_PROG_LEX AC_PROG_YACC +# Check for ANTLR runantlr script (defined in config/antlr.m4) +AC_PROG_ANTLR + AC_CHECK_PROG(DOXYGEN, doxygen, doxygen, []) if test -z "$DOXYGEN"; then AC_MSG_WARN([documentation targets require doxygen. Set your PATH appropriately or set DOXYGEN to point to a valid doxygen binary.]) @@ -288,6 +291,9 @@ fi # Checks for libraries. AC_CHECK_LIB(gmp, __gmpz_init, , [AC_MSG_ERROR([GNU MP not found, see http://gmplib.org/])]) +# Chcek for antlr C++ runtime (defined in config/antlr.m4) +AC_LIB_ANTLR + # Checks for header files. AC_CHECK_HEADERS([getopt.h unistd.h]) |