From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Fri, 28 Mar 2014 22:37:02 +0000 (-0400)
Subject: get-antlr error on missing config.guess
X-Git-Tag: cvc5-1.0.0~6993^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5746fcdf2fe4c5472a817d18f1a536f6f4c31085;p=cvc5.git

get-antlr error on missing config.guess
---

diff --git a/contrib/get-antlr-3.4 b/contrib/get-antlr-3.4
index 97cfe43af..74bce743e 100755
--- a/contrib/get-antlr-3.4
+++ b/contrib/get-antlr-3.4
@@ -26,6 +26,12 @@ function webget {
 }
 
 if [ -z "${MACHINE_TYPE}" ]; then
+  if ! [ -e config/config.guess ]; then
+   echo "$(basename $0): I need the file config/config.guess to tell MACHINE_TYPE" >&2
+   echo "Try running ./autogen.sh, or set the MACHINE_TYPE environment variable." >&2
+   exit 1
+  fi
+
   # get first nibble from config.guess (x86_64, i686, ...)
   MACHINE_TYPE=`config/config.guess | sed 's,-.*,,'`
 fi