diff options
Diffstat (limited to '.travis/z3.sh')
| -rwxr-xr-x | .travis/z3.sh | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/.travis/z3.sh b/.travis/z3.sh index 10d6be80..f8ae6e0b 100755 --- a/.travis/z3.sh +++ b/.travis/z3.sh @@ -3,12 +3,15 @@ # Make sure we exit if there is a failure set -e -# FIXME: Move this into its own script source ${KLEE_SRC}/.travis/sanitizer_flags.sh if [ "X${IS_SANITIZED_BUILD}" != "X0" ]; then echo "Error: Requested Sanitized build but Z3 being used is not sanitized" exit 1 fi -# Should we install libz3-dbg too? -sudo apt-get -y install libz3 libz3-dev +if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then + # Should we install libz3-dbg too? + sudo apt-get -y install libz3 libz3-dev +else # OSX + brew install z3 +fi |