use gcc build

jumormt · Dec 20, 2024 · f5f6308 · f5f6308
1 parent 1fe22e2
commit f5f6308
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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                        \