Skip to content
Snippets Groups Projects
install_BOOST.sh 316 B
Newer Older
#!/bin/bash 

# check if the directory ${HOME}/MPI exist

if [ -d "${HOME}/BOOST" ]; then
  echo "BOOST already installed"
  exit 0
fi

wget http://ppmcore.mpi-cbg.de/upload/boost_1_58_0.tar.bz2
tar -xvf boost_1_58_0.tar.bz2
cd boost_1_58_0
./bootstrap.sh
Pietro Incardona's avatar
Pietro Incardona committed
mkdir ${HOME}/BOOST
incardon's avatar
incardon committed
./b2 -j 4 install --prefix=$HOME/BOOST