projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
4de6452
)
get-antlr error on missing config.guess
author
Kshitij Bansal
<kshitij@cs.nyu.edu>
Fri, 28 Mar 2014 22:37:02 +0000
(18:37 -0400)
committer
Kshitij Bansal
<kshitij@cs.nyu.edu>
Fri, 28 Mar 2014 22:37:02 +0000
(18:37 -0400)
contrib/get-antlr-3.4
patch
|
blob
|
history
diff --git
a/contrib/get-antlr-3.4
b/contrib/get-antlr-3.4
index 97cfe43af0acbd739966b43c16335e153bd1ec7c..74bce743e609db49807363f241029dd6086c2827 100755
(executable)
--- 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