diff options
Diffstat (limited to 'src/scripts')
| -rwxr-xr-x | src/scripts/ci/setup_travis.sh | 2 | ||||
| -rwxr-xr-x | src/scripts/ci_build.py | 5 |
2 files changed, 4 insertions, 3 deletions
diff --git a/src/scripts/ci/setup_travis.sh b/src/scripts/ci/setup_travis.sh index 46292cbb6..ab8d7e774 100755 --- a/src/scripts/ci/setup_travis.sh +++ b/src/scripts/ci/setup_travis.sh @@ -53,7 +53,7 @@ if [ "$TRAVIS_OS_NAME" = "linux" ]; then elif [ "$BUILD_MODE" = "coverage" ]; then sudo apt-get -qq update - sudo apt-get install trousers libtspi-dev lcov python-coverage + sudo apt-get install trousers libtspi-dev lcov python-coverage libboost-all-dev git clone --depth 1 https://github.com/randombit/botan-ci-tools diff --git a/src/scripts/ci_build.py b/src/scripts/ci_build.py index 02ecb1ed7..f0267346a 100755 --- a/src/scripts/ci_build.py +++ b/src/scripts/ci_build.py @@ -189,9 +189,10 @@ def determine_flags(target, target_os, target_cpu, target_cc, cc_bin, ccache, ro if target_os in ['osx', 'ios']: flags += ['--with-commoncrypto'] - if target_os == 'osx': - # Test Boost on OS X + if target_os == 'osx' or target == 'coverage': flags += ['--with-boost'] + + if target_os == 'osx': # Travis has 10.12 as default image flags += ['--with-os-features=getentropy'] |