Add the api as a static library in CMakeLists.txt

NlightNFotis · NlightNFotis · commit 1822a88cb21a · 2022-10-27T14:50:56.000+01:00
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -216,6 +216,7 @@ cprover_default_properties(
     cbmc
     cbmc-lib
     cpp
+    api_bin
     bmc_api
     cprover
     cprover-lib
diff --git a/cpp_api/CMakeLists.txt b/cpp_api/CMakeLists.txt
@@ -1,5 +1,8 @@
 
 
-add_executable(bmc_api call_bmc.cpp api.cpp)
+add_executable(api_bin call_bmc.cpp api.cpp)
+
+add_library(bmc_api api.cpp)
 
 target_link_libraries(bmc_api goto-programs util langapi ansi-c)
+target_link_libraries(api_bin goto-programs util langapi ansi-c)
