diff --git a/build.sh b/build.sh index edd7a2d7f..d7c9b1137 100755 --- a/build.sh +++ b/build.sh @@ -251,8 +251,6 @@ rm -rf "${BUILD_DIR}" mkdir "${BUILD_DIR}" # If you need shared libs, turn BUILD_SHARED_LIBS on cmake -D CMAKE_BUILD_TYPE:STRING="${BUILD_TYPE}" \ - -DCMAKE_C_COMPILER="${LLVM_DIR}/bin/clang" \ - -DCMAKE_CXX_COMPILER="${LLVM_DIR}/bin/clang++" \ -DSVF_ENABLE_ASSERTIONS:BOOL=true \ -DSVF_SANITIZE="${SVF_SANITIZER}" \ -DBUILD_SHARED_LIBS=off \