Add warning message in case static library is missing

Co-authored-by: Enrico Steffinlongo <[email protected]>

Author: tautschnig

src/libcprover-cpp/CMakeLists.txt

@@ -66,6 +66,9 @@ foreach(dep ${LIBRARY_DEPENDENCIES})
     else()
         find_library(dep_path ${dep})
         string(REGEX REPLACE "[.]so$" ".a" dep_static_path ${dep_path})
+        if (NOT EXISTS "${dep_static_path}")
+          message(FATAL_ERROR "libcprover-cpp cannot be linked as dependency ${dep_path} does not have a static correspondent file (${dep_static_path})")
+        endif()
         list(APPEND DEPENDENCY_TARGETS ${dep_static_path})
     endif()
 endforeach(dep LIBRARY_DEPENDENCIES)