blob: 315d028c10f34933d1100808345d9d6cc6c968d9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
#!/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
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}\""
exit 1
fi
|
