| Wludzik, Jozef | 596a994 | 2021-01-27 12:28:59 +0100 | [diff] [blame^] | 1 | #!/bin/bash |
| 2 | |||||
| 3 | set -e | ||||
| 4 | |||||
| 5 | if [[ ! -d boost_1_74_0 ]]; then | ||||
| 6 | wget https://dl.bintray.com/boostorg/release/1.74.0/source/boost_1_74_0.tar.gz | ||||
| 7 | tar xfz boost_1_74_0.tar.gz | ||||
| 8 | fi | ||||
| 9 | |||||
| 10 | cd boost_1_74_0 | ||||
| 11 | if [[ ! -d build ]]; then | ||||
| 12 | ./bootstrap.sh --with-libraries=coroutine | ||||
| 13 | ./b2 install --prefix=build | ||||
| 14 | fi | ||||
| 15 | |||||
| 16 | echo -e "Please, set BOOST_ROOT to `pwd`/build, e.g.:\n" \ | ||||
| 17 | "export BOOST_ROOT=`pwd`/build" | ||||