From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Thu, 12 Feb 2015 13:49:50 +0000 (-0500)
Subject: try curl before wget, workaround for issue with FTP PASV
X-Git-Tag: cvc5-1.0.0~6394
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3ba153b4be4c2fe8ad7decf8ebc7cf5d8815a0e9;p=cvc5.git

try curl before wget, workaround for issue with FTP PASV
---

diff --git a/contrib/get-antlr-3.4 b/contrib/get-antlr-3.4
index 74bce743e..436ef6a8d 100755
--- a/contrib/get-antlr-3.4
+++ b/contrib/get-antlr-3.4
@@ -15,10 +15,10 @@ if ! [ -e src/parser/cvc/Cvc.g ]; then
 fi
 
 function webget {
-  if which wget &>/dev/null; then
-    wget -c -O "$2" "$1"
-  elif which curl &>/dev/null; then
+  if which curl &>/dev/null; then
     curl "$1" >"$2"
+  elif which wget &>/dev/null; then
+    wget -c -O "$2" "$1"
   else
     echo "Can't figure out how to download from web.  Please install wget or curl." >&2
     exit 1