From 92b49c62b796e4c2544fc2415d9817068aed6eae Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Wed, 7 Nov 2018 16:39:05 +0000
Subject: Use LLVM 4 for Mac Build

---
 scripts/build/klee.sh | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'scripts/build/klee.sh')

diff --git a/scripts/build/klee.sh b/scripts/build/klee.sh
index 517318f8..84d7bd63 100755
--- a/scripts/build/klee.sh
+++ b/scripts/build/klee.sh
@@ -26,10 +26,11 @@ if [[ "$TRAVIS_OS_NAME" = "linux" ]] ; then
   KLEE_CC="${LLVM_BIN}/clang"
   KLEE_CXX="${LLVM_BIN}/clang++"
 elif [[ "${TRAVIS_OS_NAME}" == "osx" ]]; then
-  LLVM_CONFIG="/usr/local/bin/llvm-config-${LLVM_VERSION}"
+  LLVM_BIN="/usr/local/opt/llvm@${LLVM_VERSION_MAJOR}/bin"
+  LLVM_CONFIG="${LLVM_BIN}/llvm-config"
   LLVM_BUILD_DIR="$(${LLVM_CONFIG} --src-root)"
-  KLEE_CC="/usr/local/bin/clang-${LLVM_VERSION}"
-  KLEE_CXX="/usr/local/bin/clang++-${LLVM_VERSION}"
+  KLEE_CC="${LLVM_BIN}/clang"
+  KLEE_CXX="${LLVM_BIN}/clang++"
 else
   echo "Unhandled TRAVIS_OS_NAME \"${TRAVIS_OS_NAME}\""
   exit 1
-- 
cgit 1.4.1