From a984702d6e44708eb7b2dbc678d47faf04769c67 Mon Sep 17 00:00:00 2001 From: Nikhil Raj Date: Mon, 30 Mar 2020 10:12:26 +0100 Subject: Downloading boost from sourceforge instead of boostorg Signed-off-by: Nikhil Raj Change-Id: I7da8fdf2afef8382f1544ebda5aeb40cef8608e2 --- setup.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/setup.sh b/setup.sh index 76b09b33..8b345440 100755 --- a/setup.sh +++ b/setup.sh @@ -14,7 +14,10 @@ if [ ! -d boost_1_64_0 ]; then BOOST_PKG=boost_1_64_0.tar.gz - curl -LOk https://dl.bintray.com/boostorg/release/1.64.0/source/boost_1_64_0.tar.gz + # There is a problem with downloading boost from the external. Issue can be found here:https://github.com/boostorg/boost/issues/299. + # Using a mirror link to download boost. + # curl -LOk https://dl.bintray.com/boostorg/release/1.64.0/source/boost_1_64_0.tar.gz # Not able to download boost from this link + curl -LOk https://sourceforge.net/projects/boost/files/boost/1.64.0/boost_1_64_0.tar.gz AssertZeroExitCode "Downloading Boost failed" tar xzf $BOOST_PKG -- cgit v1.2.1