From cf930214e12b49e89be4674043d9f461d667baae Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Thu, 28 Feb 2019 11:56:19 +0000 Subject: Updated dependency build system for KLEE Provide a single `scripts/build/build.sh` file to build KLEE and its dependencies. --- scripts/build/v-llvm.inc | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 scripts/build/v-llvm.inc (limited to 'scripts/build/v-llvm.inc') diff --git a/scripts/build/v-llvm.inc b/scripts/build/v-llvm.inc new file mode 100644 index 00000000..5ec6f713 --- /dev/null +++ b/scripts/build/v-llvm.inc @@ -0,0 +1,34 @@ +required_variables_llvm=( + "LLVM_VERSION" + "ENABLE_OPTIMIZED" + "ENABLE_DEBUG" + "DISABLE_ASSERTIONS" + "REQUIRES_RTTI" +) + +required_variables_check_llvm() { + check_bool "ENABLE_DEBUG" + check_bool "ENABLE_OPTIMIZED" + check_bool "DISABLE_ASSERTIONS" + check_bool "REQUIRES_RTTI" +} + +export_variables_llvm=( + "LLVM_CONFIG" + "BITCODE_CC" + "BITCODE_CXX" +) + +artifact_dependency_llvm=("sanitizer") + +setup_variables_llvm() { + LLVM_VERSION_SHORT="${LLVM_VERSION/./}" +} + +check_export_variables_llvm() { + # Check for variables set and not empty + [[ -n ${LLVM_CONFIG:-} ]] || (echo "LLVM_CONFIG not set"; exit 1) + [[ -n ${LLVM_INSTALL:-} ]] || (echo "LLVM_INSTALL not set"; exit 1) + [[ -n ${BITCODE_CC:-} ]] || (echo "BITCODE_CC not set"; exit 1) + [[ -n ${BITCODE_CXX:-} ]] || (echo "BITCODE_CXX not set"; exit 1) +} \ No newline at end of file -- cgit 1.4.1