From e9180663ece595c9ddf8f5bc3caea5b2ea20472a Mon Sep 17 00:00:00 2001 From: =?utf8?q?Dejan=20Jovanovi=C4=87?= Date: Fri, 4 Dec 2009 04:18:26 +0000 Subject: [PATCH] Forgot to commit changes to configure.ac --- configure.ac | 6 ++++++ 1 file changed, 6 insertions(+) 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]) -- 2.30.2