diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2019-12-08 05:59:35 +0300 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2019-12-08 06:11:16 +0300 |
commit | 3978096b231c73088287176e78c330eb4ad896ff (patch) | |
tree | 48f9dc58bbf08c076feee96d89d6a56c83f763cd /.travis/build_boost.sh | |
parent | fix server/Dockerfile (diff) | |
download | math-server-3978096b231c73088287176e78c330eb4ad896ff.tar.gz math-server-3978096b231c73088287176e78c330eb4ad896ff.zip |
add Travis config
Diffstat (limited to '')
-rwxr-xr-x | .travis/build_boost.sh | 49 |
1 files changed, 49 insertions, 0 deletions
diff --git a/.travis/build_boost.sh b/.travis/build_boost.sh new file mode 100755 index 0000000..9c757a5 --- /dev/null +++ b/.travis/build_boost.sh @@ -0,0 +1,49 @@ +#!/usr/bin/env bash + +set -o errexit -o nounset -o pipefail -o xtrace + +readonly boost_fs="boost_${boost_version//\./_}" +readonly boost_url="https://dl.bintray.com/boostorg/release/$boost_version/source/$boost_fs.tar.gz" +readonly boost_dir="$HOME/$boost_fs" + +address_model=32 +[ "$arch" = x64 ] && address_model=64 +readonly address_model + +clean() { + cd -- "$HOME/" +} + +download() { + trap clean RETURN + wget -- "$boost_url" + tar xzvf "$boost_fs.tar.gz" > /dev/null +} + +bootstrap() { + trap clean RETURN + cd -- "$boost_dir" + ./bootstrap.sh +} + +build() { + trap clean RETURN + cd -- "$boost_dir" + ./b2 \ + "address-model=$address_model" \ + link=static \ + variant="$build_type" \ + "--stagedir=stage/$arch/$build_type" \ + --with-filesystem \ + --with-program_options \ + --with-test +} + +main() { + clean + download + bootstrap + build +} + +main |