From: Christopher L. Conway <christopherleeconway@gmail.com>
Date: Thu, 3 Jun 2010 16:47:05 +0000 (+0000)
Subject: Changing ANTLR3 detection in configure (Fixes #147)
X-Git-Tag: cvc5-1.0.0~9006
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a120ebfd29062a8681f8a1e03c598bc9c7c2a790;p=cvc5.git

Changing ANTLR3 detection in configure (Fixes #147)
---

diff --git a/config/antlr.m4 b/config/antlr.m4
index 8f2e26b51..2f0898b80 100644
--- a/config/antlr.m4
+++ b/config/antlr.m4
@@ -6,22 +6,25 @@ AC_DEFUN([AC_PROG_ANTLR], [
   AC_ARG_VAR([ANTLR],[location of the antlr3 script])
 
   # Check the existence of the runantlr script
-  if test -z "$ANTLR"; then
-    AC_CHECK_PROGS(ANTLR, [antlr3])
+  if test "x$ANTLR" = "x"; then
+    AC_PATH_PROG(ANTLR, [antlr3])
   else
-    AC_CHECK_PROG(ANTLR, "$ANTLR", "$ANTLR", [])
+    AC_MSG_CHECKING([antlr3 script ($ANTLR)])
+    if test ! -e "$ANTLR"; then
+      AC_MSG_RESULT([not found])
+      unset ANTLR
+    elif test ! -x "$ANTLR"; then
+      AC_MSG_RESULT([not executable])
+      unset ANTLR
+    else
+      AC_MSG_RESULT([OK])
+    fi
   fi
-  if test no$ANTLR = "no";
-  then
+  if test "x$ANTLR" = "x"; then
     AC_MSG_WARN(
-      [Couldn't find the antlr3 script, make sure that the parser code has
-      been generated already. To obtain ANTLR see <http://www.antlr.org/>.]
+[No usable antlr3 script found. Make sure that the parser code has
+been generated already. To obtain ANTLR see <http://www.antlr.org/>.]
     )
-    AC_MSG_RESULT(no)
-  fi
-  if test ! -x "$ANTLR";
-  then
-    AC_MSG_ERROR([antlr3 script is not executable])
   fi
 ])