Updated dependency build system for KLEE

Provide a single `scripts/build/build.sh` file to build KLEE and its
dependencies.

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"