diff options
| author | Martin Nowack <martin.nowack@gmail.com> | 2018-04-12 13:32:37 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-04-12 14:45:43 +0100 |
| commit | d6dc86e6bcd26064136a96a385d9ba299d877aab (patch) | |
| tree | d46c8dea1266e89acf35ea24f630cd9357a30b2e /.travis | |
| parent | a8bf1a78cd20d1c2608faeecc54369d95ceadde7 (diff) | |
| download | klee-d6dc86e6bcd26064136a96a385d9ba299d877aab.tar.gz | |
Fix python2 linking
Diffstat (limited to '.travis')
| -rwxr-xr-x | .travis/z3.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.travis/z3.sh b/.travis/z3.sh index a4c00f82..315d028c 100755 --- a/.travis/z3.sh +++ b/.travis/z3.sh @@ -13,6 +13,12 @@ if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then # Should we install libz3-dbg too? sudo apt-get -y install libz3 libz3-dev elif [[ "${TRAVIS_OS_NAME}" == "osx" ]]; then + set +e + brew install python@2 + if [[ "X$?" != "X0" ]]; then + brew link --overwrite python@2 + fi + set -e brew install z3 else echo "Unhandled TRAVIS_OS_NAME \"${TRAVIS_OS_NAME}\"" |