From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Fri, 4 Dec 2009 04:18:26 +0000 (+0000)
Subject: Forgot to commit changes to configure.ac
X-Git-Tag: cvc5-1.0.0~9396
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e9180663ece595c9ddf8f5bc3caea5b2ea20472a;p=cvc5.git

Forgot to commit changes to configure.ac
---

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])