install_BOOST.sh 739 Bytes
Newer Older
Pietro Incardona's avatar
Pietro Incardona committed
1
2
3
4
5
6
7
8
9
#!/bin/bash 

# check if the directory $1/BOOST exist

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

Pietro Incardona's avatar
Pietro Incardona committed
10
11
12
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
Pietro Incardona's avatar
Pietro Incardona committed
13
14
15
16
17
18
19
20
21
22
23
24
25
if [ x"$4" != x"" ]; then
	if [ -f $HOME/user-config.jam ]; then
		mv $HOME/user-config.jam $HOME/user-config.jam_bck
	fi
	if [ x"$5" != x"" ]; then
		echo "using gcc : $5.$6 : $4 ; " > $HOME/user-config.jam
	else
		echo "using gcc : : $4 ; " > $HOME/user-config.jam
	fi
fi
./bootstrap.sh --with-toolset=$3
mkdir $1/BOOST
./b2 -j $2 install --prefix=$1/BOOST
Pietro Incardona's avatar
Pietro Incardona committed
26
rm -rf boost_1_72_0
Pietro Incardona's avatar
Pietro Incardona committed
27
28
29
30

if [ -f $HOME/user-config.jam_bck ]; then
	mv $HOME/user-config.jam_bck $HOME/user-config.jam
fi
Pietro Incardona's avatar
Pietro Incardona committed
31
rm -rf boost_1_72_0.tar.bz2
Pietro Incardona's avatar
Pietro Incardona committed
32