From 88475f63661dafa7a13d3e2c7ea2679dc9cd3c8a Mon Sep 17 00:00:00 2001
From: jiseongg <jiseongg301@gmail.com>
Date: Fri, 9 Oct 2020 14:46:06 +0900
Subject: Remove unused cmake arguments when building docker

CMake Warning:
  Manually-specified variables were not used by the project:

    LLVM_DIR
---
 scripts/build/p-klee.inc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/scripts/build/p-klee.inc b/scripts/build/p-klee.inc
index 4c56b0e0..6967dc71 100644
--- a/scripts/build/p-klee.inc
+++ b/scripts/build/p-klee.inc
@@ -16,7 +16,6 @@ build_klee() {
   CMAKE_PREFIX_PATH=("")
 
   local CMAKE_ARGUMENTS=(
-    "-DLLVM_DIR=${LLVM_INSTALL}"
     "-DLLVM_CONFIG_BINARY=${LLVM_CONFIG}"
     "-DLLVMCC=${BITCODE_CC}"
     "-DLLVMCXX=${BITCODE_CXX}"
-- 
cgit 1.4.1