dev
sh 36 lines 961 Bytes
Raw
1 #!/bin/sh
2
3 set -e
4
5 . ./config.sh
6
7 BOOST_SRC_DIR=${EXTERNAL_LINUX_SOURCE_DIR}/boost_1_82_0
8 BOOST_FILENAME=boost_1_82_0.tar.bz2
9 BOOST_VERSION=1.82.0
10 BOOST_FILE_PATH=${EXTERNAL_LINUX_SOURCE_DIR}/$BOOST_FILENAME
11 BOOST_SHA256="a6e1ab9b0860e6a2881dd7b21fe9f737a095e5f33a3a874afc6a345228597ee6"
12
13 if [ ! -e "$BOOST_FILE_PATH" ]; then
14 curl -L http://downloads.sourceforge.net/project/boost/boost/${BOOST_VERSION}/${BOOST_FILENAME} > $BOOST_FILE_PATH
15 fi
16
17 echo $BOOST_SHA256 $BOOST_FILE_PATH | sha256sum -c - || exit 1
18
19 cd $EXTERNAL_LINUX_SOURCE_DIR
20 rm -rf $BOOST_SRC_DIR
21 tar -xvf $BOOST_FILE_PATH -C $EXTERNAL_LINUX_SOURCE_DIR
22 cd $BOOST_SRC_DIR
23 ./bootstrap.sh --prefix=${EXTERNAL_LINUX_DIR}
24 ./b2 cxxflags=-fPIC cflags=-fPIC \
25 --with-chrono \
26 --with-date_time \
27 --with-filesystem \
28 --with-program_options \
29 --with-regex \
30 --with-serialization \
31 --with-system \
32 --with-thread \
33 --with-locale \
34 link=static \
35 install
36