From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Mon, 17 Sep 2018 19:16:07 +0000 (-0700)
Subject: Follow redirects with cURL in contrib/get* scripts (#2471)
X-Git-Tag: cvc5-1.0.0~4643
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fc07d6af4156fde8af048ca5db8ff1f43de48ebc;p=cvc5.git

Follow redirects with cURL in contrib/get* scripts (#2471)

On systems without `wget`, we use `curl` to download dependencies.
However, we were not using the `-L` (follow redirects) option, which is
necessary to download certain dependencies, e.g. CryptoMiniSat.
---

diff --git a/contrib/get-script-header.sh b/contrib/get-script-header.sh
index 285d97b35..de4a93587 100644
--- a/contrib/get-script-header.sh
+++ b/contrib/get-script-header.sh
@@ -18,7 +18,7 @@ function webget {
   if which wget &>/dev/null; then
     wget -c -O "$2" "$1"
   elif which curl &>/dev/null; then
-    curl "$1" >"$2"
+    curl -L "$1" >"$2"
   else
     echo "Can't figure out how to download from web.  Please install wget or curl." >&2
     exit 1