diff options
Diffstat (limited to 'scripts/build/common-defaults.sh')
| -rw-r--r-- | scripts/build/common-defaults.sh | 53 |
1 files changed, 0 insertions, 53 deletions
diff --git a/scripts/build/common-defaults.sh b/scripts/build/common-defaults.sh deleted file mode 100644 index 5cefef19..00000000 --- a/scripts/build/common-defaults.sh +++ /dev/null @@ -1,53 +0,0 @@ -# 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" |