From cf930214e12b49e89be4674043d9f461d667baae Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
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-clang.inc | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 scripts/build/v-clang.inc

(limited to 'scripts/build/v-clang.inc')

diff --git a/scripts/build/v-clang.inc b/scripts/build/v-clang.inc
new file mode 100644
index 00000000..16036f22
--- /dev/null
+++ b/scripts/build/v-clang.inc
@@ -0,0 +1,15 @@
+required_variables_clang=(
+  "LLVM_VERSION"
+)
+
+artifact_dependency_clang=("sanitizer")
+
+setup_variables_clang() {
+  LLVM_VERSION_SHORT="${LLVM_VERSION/./}"
+}
+
+export_variables_clang=(
+  "LLVM_CONFIG"
+  "BITCODE_CC"
+  "BITCODE_CXX"
+)
\ No newline at end of file
-- 
cgit 1.4.1