diff options
author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-02-28 11:56:19 +0000 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-10 20:10:32 +0000 |
commit | cf930214e12b49e89be4674043d9f461d667baae (patch) | |
tree | 90de5ea1c643d0d7ad2c5cf55e862d309e605d48 /scripts/build/build-travis.sh | |
parent | b4d8fe0301b82e8abff0336bf6d1347dff11a853 (diff) | |
download | klee-cf930214e12b49e89be4674043d9f461d667baae.tar.gz |
Updated dependency build system for KLEE
Provide a single `scripts/build/build.sh` file to build KLEE and its dependencies.
Diffstat (limited to 'scripts/build/build-travis.sh')
-rwxr-xr-x | scripts/build/build-travis.sh | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/scripts/build/build-travis.sh b/scripts/build/build-travis.sh deleted file mode 100755 index a2287a2e..00000000 --- a/scripts/build/build-travis.sh +++ /dev/null @@ -1,25 +0,0 @@ -#!/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 upgrade python # upgrade to Python 3 - brew install python@2 # install Python 2 (OSX version outdated + pip missing) - brew link --overwrite python@2 # keg-only => link manually - rm -f /usr/local/bin/{python,pip} # re-link python/pip to Python 2 - py2path=$(find /usr/local/Cellar/python@2/ -name "python" -type f | head -n 1) - pip2path=$(find /usr/local/Cellar/python@2/ -name "pip" -type f | head -n 1) - ln -s "${py2path}" /usr/local/bin/python - ln -s "${pip2path}" /usr/local/bin/pip - 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 |