We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent a20d3b2 commit f5c2bc1Copy full SHA for f5c2bc1
build.sh
@@ -221,11 +221,12 @@ BUILD_DIR="./${BUILD_TYPE}-build"
221
222
rm -rf "${BUILD_DIR}"
223
mkdir "${BUILD_DIR}"
224
+EXTRA_FLAGS=""
225
+[ "${BUILD_WITH_CLANG}" != "" ] && EXTRA_FLAGS="-DCMAKE_CXX_COMPILER=$LLVM_DIR/bin/clang++ -DLLVM_DIR=$LLVM_DIR"
226
cmake -D CMAKE_BUILD_TYPE:STRING="${BUILD_TYPE}" \
227
-DSVF_ENABLE_ASSERTIONS:BOOL=true \
228
-DSVF_SANITIZE="${SVF_SANITIZER}" \
- -S "${SVFHOME}" -B "${BUILD_DIR}" \
- -DCMAKE_CXX_COMPILER=$LLVM_DIR/bin/clang++ -DLLVM_DIR=$LLVM_DIR
229
+ -S "${SVFHOME}" -B "${BUILD_DIR}" ${EXTRA_FLAGS}
230
cmake --build "${BUILD_DIR}" -j ${jobs}
231
232
########
0 commit comments