diff --git a/script/install_BOOST.sh b/script/install_BOOST.sh index 93668d2dbf1112cc592c6eead70df9f2298ab8f4..723da2c4458ce197211398b6687db9e0bad50675 100755 --- a/script/install_BOOST.sh +++ b/script/install_BOOST.sh @@ -7,9 +7,9 @@ if [ -d "$1/BOOST" ]; then exit 0 fi -wget http://ppmcore.mpi-cbg.de/upload/boost_1_68_0.tar.bz2 -tar -xvf boost_1_68_0.tar.bz2 -cd boost_1_68_0 +wget http://ppmcore.mpi-cbg.de/upload/boost_1_72_0.tar.bz2 +tar -xvf boost_1_72_0.tar.bz2 +cd boost_1_72_0 if [ x"$4" != x"" ]; then if [ -f $HOME/user-config.jam ]; then mv $HOME/user-config.jam $HOME/user-config.jam_bck @@ -23,10 +23,10 @@ fi ./bootstrap.sh --with-toolset=$3 mkdir $1/BOOST ./b2 -j $2 install --prefix=$1/BOOST -rm -rf boost_1_68_0 +rm -rf boost_1_72_0 if [ -f $HOME/user-config.jam_bck ]; then mv $HOME/user-config.jam_bck $HOME/user-config.jam fi -rm -rf boost_1_68_0.tar.bz2 +rm -rf boost_1_72_0.tar.bz2