Edward Hennis
2015-09-08 19:45:37 -04:00
parent ea0bd08660
commit 8df88238cd
2 changed files with 80 additions and 28 deletions

19
bin/sh/install-boost.sh Normal file
View File

@@ -0,0 +1,19 @@
#!/bin/sh
# Assumptions:
# 1) BOOST_ROOT and BOOST_URL are already defined,
# and contain valid values.
# 2) The last namepart of BOOST_ROOT matches the
# folder name internal to boost's .tar.gz
set -e
if [ ! -d "$BOOST_ROOT/lib" ]
then
wget $BOOST_URL -O /tmp/boost.tar.gz
cd `dirname $BOOST_ROOT`
tar xzf /tmp/boost.tar.gz
cd $BOOST_ROOT && \
./bootstrap.sh --prefix=$BOOST_ROOT && \
./b2 -d1 && ./b2 -d0 install
else
echo "Using cached boost at $BOOST_ROOT"
fi