diff options
Diffstat (limited to 'scripts/build/p-klee.inc')
| -rw-r--r-- | scripts/build/p-klee.inc | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/scripts/build/p-klee.inc b/scripts/build/p-klee.inc index a1520f83..0df3a257 100644 --- a/scripts/build/p-klee.inc +++ b/scripts/build/p-klee.inc @@ -16,14 +16,14 @@ build_klee() { CMAKE_PREFIX_PATH=("") local CMAKE_ARGUMENTS=( - -DLLVM_DIR="${LLVM_INSTALL}" - -DLLVM_CONFIG_BINARY="${LLVM_CONFIG}" - -DLLVMCC="${BITCODE_CC}" - -DLLVMCXX="${BITCODE_CXX}" - -DGTEST_SRC_DIR="${GTEST_INSTALL_PATH}" - -DENABLE_UNIT_TESTS="TRUE" - -DENABLE_SYSTEM_TESTS="TRUE" - -DLIT_ARGS="-v" + "-DLLVM_DIR=${LLVM_INSTALL}" + "-DLLVM_CONFIG_BINARY=${LLVM_CONFIG}" + "-DLLVMCC=${BITCODE_CC}" + "-DLLVMCXX=${BITCODE_CXX}" + "-DGTEST_SRC_DIR=${GTEST_INSTALL_PATH}" + "-DENABLE_UNIT_TESTS=TRUE" + "-DENABLE_SYSTEM_TESTS=TRUE" + "-DLIT_ARGS=-v" ) @@ -94,9 +94,9 @@ fi METASMT_DEFAULT=STP fi KLEE_METASMT_CONFIGURE_OPTION=( - -DENABLE_SOLVER_METASMT=TRUE - -DmetaSMT_DIR="${METASMT_BUILD_PATH}" - -DMETASMT_DEFAULT_BACKEND="${METASMT_DEFAULT}" + "-DENABLE_SOLVER_METASMT=TRUE" + "-DmetaSMT_DIR=${METASMT_BUILD_PATH}" + "-DMETASMT_DEFAULT_BACKEND=${METASMT_DEFAULT}" ) ;; *) |