Link more libraries against rust API to make sure we avoid build sequencing issues at build time

Author: NlightNFotis

CMakeLists.txt

@@ -268,17 +268,15 @@ if(WITH_RUST_API)
 
   FetchContent_MakeAvailable(Corrosion)
 
-#   find_package(Corrosion REQUIRED)
   corrosion_import_crate(MANIFEST_PATH src/libcprover-rust/Cargo.toml)
   corrosion_set_env_vars(cprover-api-rust CBMC_LIB_DIR=${CMAKE_LIBRARY_OUTPUT_DIRECTORY})
   corrosion_link_libraries(cprover-api-rust cprover-api-cpp)
   install(TARGETS cprover-api-rust RUNTIME DESTINATION lib)
-  # NOTE: We create a symlink for a name consistent with the name of the
+  # NOTE: We want to rename to a name consistent with the name of the
   # rest of the static libraries built as a result of a build. The reason
   # we cannot set the target name directly is that Cargo doesn't support
   # hyphens in names of packages, so it builds the name by default with
   # an underscore.
-#   file(CREATE_LINK ${CMAKE_LIBRARY_OUTPUT_DIRECTORY}/libcprover_api_rust.a ${CMAKE_LIBRARY_OUTPUT_DIRECTORY}/libcprover-api-rust.a SYMBOLIC)
 endif()
 
 include(cmake/packaging.cmake)

regression/CMakeLists.txt

@@ -86,7 +86,7 @@ add_subdirectory(goto-interpreter)
 add_subdirectory(cbmc-sequentialization)
 add_subdirectory(cpp-linter)
 add_subdirectory(catch-framework)
-# add_subdirectory(libcprover-cpp)
+add_subdirectory(libcprover-cpp)
 
 if(WITH_MEMORY_ANALYZER)
   add_subdirectory(snapshot-harness)

src/libcprover-cpp/CMakeLists.txt

@@ -3,4 +3,21 @@ file(GLOB_RECURSE sources "*.cpp" "*.h")
 # This step builds the API in the form of a statically linked library (libcprover-api-cpp.a)
 add_library(cprover-api-cpp ${sources})
 generic_includes(cprover-api-cpp)
-target_link_libraries(cprover-api-cpp goto-checker goto-programs util langapi ansi-c)
+target_link_libraries(cprover-api-cpp 
+    goto-checker
+    goto-programs
+    util
+    langapi
+    ansi-c
+    json-symtab-language
+    solvers
+    xml
+    cpp
+    cbmc-lib
+    analyses
+    statement-list
+    linking
+    pointer-analysis
+    goto-instrument-lib
+    goto-analyzer-lib
+    goto-cc-lib)