diff options
-rwxr-xr-x | setup.sh | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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 |