Skip to content

Commit 4b43bed

Browse files
committed
add BUILD_WITH_CLANG flag
when set BUILD_WITH_CLANG=true, source build.sh will build with clang. Ex. ``` export LLVM_DIR=/usr/src/clang-r487747 export LLVM_CONFIG=$LLVM_DIR/bin/llvm-config BUILD_WITH_CLANG=true source build.sh ```
1 parent cc556ab commit 4b43bed

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

build.sh

+3-1
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,7 @@ jobs=$(echo $(nproc) || echo $(sysctl -n hw.physicalcpu))
1212
#########
1313
# VARs and Links
1414
########
15+
CMAKE_EXTRA_FLAGS=""
1516
SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
1617
SVFHOME="${SCRIPT_DIR}"
1718
sysOS=$(uname -s)
@@ -222,10 +223,11 @@ BUILD_DIR="./${BUILD_TYPE}-build"
222223

223224
rm -rf "${BUILD_DIR}"
224225
mkdir "${BUILD_DIR}"
226+
[ "${BUILD_WITH_CLANG}" != "" ] && CMAKE_EXTRA_FLAGS="-DCMAKE_CXX_COMPILER=$LLVM_DIR/bin/clang++ -DLLVM_DIR=$LLVM_DIR"
225227
cmake -D CMAKE_BUILD_TYPE:STRING="${BUILD_TYPE}" \
226228
-DSVF_ENABLE_ASSERTIONS:BOOL=true \
227229
-DSVF_SANITIZE="${SVF_SANITIZER}" \
228-
-S "${SVFHOME}" -B "${BUILD_DIR}"
230+
-S "${SVFHOME}" -B "${BUILD_DIR}" ${CMAKE_EXTRA_FLAGS}
229231
cmake --build "${BUILD_DIR}" -j ${jobs}
230232

231233
########

0 commit comments

Comments
 (0)