| 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 | |
| Wludzik, Jozef | 9f14591 | 2021-02-11 08:54:10 +0100 | [diff] [blame^] | 16 | echo -e "Please, set BOOST_ROOT to $(pwd)/build, e.g.:\n" \ |
| 17 | "export BOOST_ROOT=$(pwd)/build" |