blob: 5cefef198553beb6c6dfb4c6b6ea41f7e1f31895 (
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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
# This file is meant to be included by shell scripts to provide common default
# values.
# It is used by: travis builds; docker builds and local builds
# Change defaults to setup different development environment
# Defines defaults used to build a default docker image outside of Travis
if [[ "${DOCKER_BUILD}x" == "1x" ]]; then
# Default for docker: Do not keep build and source files for small images
: "${KEEP_BUILD:=0}"
: "${KEEP_SRC:=0}"
echo "DOCKER_BUILD"
fi
if [[ "${KLEE_TRAVIS_BUILD}x" != "1x" ]]; then
: "${REPOSITORY:=klee}"
: "${LLVM_VERSION:=3.4}"
: "${DISABLE_ASSERTIONS:=0}"
: "${ENABLE_DEBUG:=1}"
: "${ENABLE_OPTIMIZED:=1}"
: "${SOLVERS:=STP}"
: "${STP_VERSION:=2.1.2}"
: "${Z3_VERSION:=4.4.1}"
: "${METASMT_VERSION:=v4.rc1}"
: "${METASMT_DEFAULT:=STP}"
: "${METASMT_BOOST_VERSION:=}"
: "${REQUIRES_RTTI:=0}"
: "${KLEE_UCLIBC:=klee_uclibc_v1.0.0}"
: "${USE_TCMALLOC:=1}"
: "${PACKAGED:=0}"
# undefined, address, memory
: "${SANITIZER_BUILD:=}"
# Defines if source and build artifacts should be preserved
: "${KEEP_BUILD:=1}"
: "${KEEP_SRC:=1}"
OS="$(uname)"
case $OS in
'Linux')
TRAVIS_OS_NAME='linux'
;;
'Darwin')
TRAVIS_OS_NAME='osx'
;;
*) ;;
esac
fi
# General default values
: "${TCMALLOC_VERSION:=2.4}"
: "${GTEST_VERSION:=1.7.0}"
if [[ "${DIR}x" == "x" ]]; then
echo "\${DIR} not set"
exit 1
fi
source "${DIR}/common-functions"
|
