about summary refs log tree commit diff homepage
path: root/scripts/build/build-travis.sh
diff options
context:
space:
mode:
authorMartin Nowack <m.nowack@imperial.ac.uk>2019-02-28 11:56:19 +0000
committerCristian Cadar <c.cadar@imperial.ac.uk>2019-03-10 20:10:32 +0000
commitcf930214e12b49e89be4674043d9f461d667baae (patch)
tree90de5ea1c643d0d7ad2c5cf55e862d309e605d48 /scripts/build/build-travis.sh
parentb4d8fe0301b82e8abff0336bf6d1347dff11a853 (diff)
downloadklee-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-xscripts/build/build-travis.sh25
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