remove extapi bc

SVF-tools · Jun 29, 2023 · 5e80288 · 5e80288
1 parent d9dba9b
commit 5e80288
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 59 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -1,7 +1,6 @@
 cmake_minimum_required(VERSION 3.13.4)
 
 project("SVF")
-execute_process(COMMAND  clang -S -c -g -emit-llvm ${PROJECT_SOURCE_DIR}/extapi.c -o ${PROJECT_SOURCE_DIR}/extapi.ll)
 
 configure_file(${PROJECT_SOURCE_DIR}/.config.in
                ${PROJECT_BINARY_DIR}/include/Util/config.h)

diff --git a/extapi.c b/extapi.c
diff --git a/svf/lib/Util/Options.cpp b/svf/lib/Util/Options.cpp
@@ -679,8 +679,6 @@ const Option<bool> Options::SymTabPrint(
     false
 );
 
-
-
 // Conditions.cpp
 const Option<u32_t> Options::MaxZ3Size(
     "max-z3-size",
@@ -774,7 +772,7 @@ const Option<bool> Options::VtableInSVFIR(
 
 //WPAPass.cpp
 const Option<std::string> Options::ExtAPIInput(
-    "extapi", "External API ext.bc", std::string(PROJECT_PATH) + "/extapi.ll"
+    "extapi", "External API ext.bc", ""
 );
 
 const Option<bool> Options::AnderSVFG(