Minecon724/dncurrency
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions 1

[CI] Fix bootstrap boost

Browse source 
Update src tarball URL
Make wget less chatty
This commit is contained in:
androm3da 2018-02-15 09:03:34 -06:00 • committed by GitHub
commit 0b63da7793
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

9
ci/bootstrap_boost.sh
View file

@ -1,14 +1,17 @@
#!/usr/bin/env bash
set -o unset
set -o xtrace
BOOST_BASENAME=boost_1_66_0
BOOST_ROOT=${BOOST_ROOT-/usr/local/boost}
BOOST_URL=http://sourceforge.net/projects/boost/files/boost/1.66.0/${BOOST_BASENAME}.tar.gz/download
BOOST_URL=https://downloads.sourceforge.net/project/boost/boost/1.66.0/${BOOST_BASENAME}.tar.bz2
wget -O ${BOOST_BASENAME}.tar.gz ${BOOST_URL}
wget --quiet -O ${BOOST_BASENAME}.tar.gz "${BOOST_URL}"
tar xf ${BOOST_BASENAME}.tar.gz
cd ${BOOST_BASENAME}
./bootstrap.sh
./b2 --prefix=${BOOST_ROOT} link=static install
./b2 -d0 --prefix=${BOOST_ROOT} link=static install
cd ..
rm -rf ${BOOST_BASENAME}
rm -f ${BOOST_BASENAME}.tar.gz