diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2019-08-04 21:26:56 +0200 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-09-09 10:39:36 +0100 |
| commit | 0fd707b62988ed25c31242eb3d858895d96eb619 (patch) | |
| tree | d8abebc6a1a9df995225e3df4b0399d089d33303 /scripts/build/p-klee.inc | |
| parent | 649c8bce588f04ed9099686f0d9ed9c326567c44 (diff) | |
| download | klee-0fd707b62988ed25c31242eb3d858895d96eb619.tar.gz | |
fix minor build script issues and inconsistencies
mostly following shellcheck
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}" ) ;; *) |