use ubuntu latest

SVF-tools · Dec 19, 2024 · d7e17c4 · d7e17c4
1 parent 0f3f2c6
commit d7e17c4
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/build.sh b/build.sh
@@ -250,10 +250,12 @@ BUILD_DIR="./${BUILD_TYPE}-build"
 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}" \
-    -DSVF_ENABLE_ASSERTIONS:BOOL=true            \
-    -DSVF_SANITIZE="${SVF_SANITIZER}"            \
-    -DBUILD_SHARED_LIBS=off                      \
+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                        \
     -S "${SVFHOME}" -B "${BUILD_DIR}"
 cmake --build "${BUILD_DIR}" -j ${jobs}