diff options
| author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-03-06 14:45:35 +0000 |
|---|---|---|
| committer | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-03-24 07:47:42 +0000 |
| commit | 3d6db3261b124bc1705eb647f8c8bea89d936af6 (patch) | |
| tree | 3d3e83932b1d3d3cdb74d2450ed78859d85644ed /.travis/z3.sh | |
| parent | 959a810cffa91f896021ae2148eced373f283670 (diff) | |
| download | klee-3d6db3261b124bc1705eb647f8c8bea89d936af6.tar.gz | |
[Travis-CI] Added support for macOS build
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 |