From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Mon, 5 Mar 2018 23:37:10 +0000 (-0800)
Subject: Fix boost url in contrib/get-win-dependencies.
X-Git-Tag: cvc5-1.0.0~5251
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b8a89b4dbba79ce79f193008a58f7c36deb2a821;p=cvc5.git

Fix boost url in contrib/get-win-dependencies.

This fixes the broken windows nightly builds.
---

diff --git a/contrib/get-win-dependencies b/contrib/get-win-dependencies
index 964bdbff7..ee33391d7 100755
--- a/contrib/get-win-dependencies
+++ b/contrib/get-win-dependencies
@@ -98,7 +98,7 @@ echo "Setting up Boost..."
 echo
 ( mkdir boost-$BOOSTVERSION &&
   cd boost-$BOOSTVERSION &&
-  webget http://downloads.sourceforge.net/project/boost/boost/$BOOSTVERSION/$BOOSTBASE.tar.gz $BOOSTBASE.tar.gz &&
+  webget https://sourceforge.net/projects/boost/files/boost/$BOOSTVERSION/$BOOSTBASE.tar.gz/download $BOOSTBASE.tar.gz &&
   tar xfz $BOOSTBASE.tar.gz &&
   cd $BOOSTBASE &&
   ./bootstrap.sh --with-toolset=gcc --prefix=`pwd`/.. --with-libraries=thread &&