projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 3d31caa)
Fix boost url in contrib/get-win-dependencies.
authorMathias Preiner <mathias.preiner@gmail.com>
Mon, 5 Mar 2018 23:37:10 +0000 (15:37 -0800)
committerMathias Preiner <mathias.preiner@gmail.com>
Mon, 5 Mar 2018 23:37:10 +0000 (15:37 -0800)
This fixes the broken windows nightly builds.

contrib/get-win-dependencies patch | blob | history

diff --git a/contrib/get-win-dependencies b/contrib/get-win-dependencies
index 964bdbff7099997c36566f2fc8c2d37995a2fc8e..ee33391d74270beaddcc2d80ea438b6cb0d98387 100755 (executable)
--- 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 &&