From: Christopher L. Conway <christopherleeconway@gmail.com>
Date: Tue, 1 Jun 2010 20:01:07 +0000 (+0000)
Subject: Checking for executable permission on antlr3 script
X-Git-Tag: cvc5-1.0.0~9015
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e681d67764508a94b812f309a714745eca027ad6;p=cvc5.git

Checking for executable permission on antlr3 script
---

diff --git a/config/antlr.m4 b/config/antlr.m4
index 604d2f6bc..8f2e26b51 100644
--- a/config/antlr.m4
+++ b/config/antlr.m4
@@ -19,9 +19,10 @@ AC_DEFUN([AC_PROG_ANTLR], [
     )
     AC_MSG_RESULT(no)
   fi
-
-  # Define the ANTL related variables
-  # AC_SUBST(ANTLR)
+  if test ! -x "$ANTLR";
+  then
+    AC_MSG_ERROR([antlr3 script is not executable])
+  fi
 ])
 
 ##