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/p-clang-osx.inc | 13 +++++++++++++
1 file changed, 13 insertions(+)
create mode 100644 scripts/build/p-clang-osx.inc
(limited to 'scripts/build/p-clang-osx.inc')
diff --git a/scripts/build/p-clang-osx.inc b/scripts/build/p-clang-osx.inc
new file mode 100644
index 00000000..fde236ca
--- /dev/null
+++ b/scripts/build/p-clang-osx.inc
@@ -0,0 +1,13 @@
+# Package script for LLVM builds OSX
+install_binary_artifact_clang () {
+ # Use the brew provided package
+ LLVM_VERSION_MAJOR="${LLVM_VERSION/.*/}"
+ brew install "llvm\@${LLVM_VERSION_MAJOR}"
+}
+
+# Check if the binary artifact is installed
+is_installed_clang() {
+ # Check if llvm-config with the right version exists
+ LLVM_VERSION_MAJOR="${LLVM_VERSION/.*/}"
+ [[ -f "/usr/local/opt/llvm@${LLVM_VERSION_MAJOR}/bin/llvm-config" ]]
+}
--
cgit 1.4.1