1 files changed, 20 insertions, 0 deletions
diff --git a/.travis/z3.sh b/.travis/z3.sh
new file mode 100755
index 00000000..a4c00f82
--- /dev/null
+++ b/.travis/z3.sh
@@ -0,0 +1,20 @@
+#!/bin/bash -x
+
+# Make sure we exit if there is a failure
+set -e
+
+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
+
+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
+  brew install z3
+else
+  echo "Unhandled TRAVIS_OS_NAME \"${TRAVIS_OS_NAME}\""
+  exit 1
+fi