blob: eaa30822d8c93117fd959e5411f6638a1e008059 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#!/bin/bash
# Build/setup all Travis dependencies if needed
set -e
if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then
export DOCKER_BUILD_DEPS_ONLY=1
"${KLEE_SRC_TRAVIS}/scripts/build/build-docker.sh"
elif [[ "$TRAVIS_OS_NAME" == "osx" ]]; then
brew install ccache
set +e
brew install python@2
if [[ "X$?" != "X0" ]]; then
brew link --overwrite python@2
fi
set -e
pip install lit==0.6.0
export PATH="/usr/local/opt/ccache/libexec:$PATH"
"${KLEE_SRC_TRAVIS}/scripts/build/install-klee-deps.sh"
else
echo "UNKNOWN OS ${TRAVIS_OS_NAME}"
exit 1
fi
|
