File 0001-don-t-add-static-minisat-lib.patch of Package cbmc

From 43fd2b2240e5238fa2a2beb31264841c9590f83e Mon Sep 17 00:00:00 2001
From: Jiri Slaby <jslaby@suse.cz>
Date: Thu, 15 Jun 2023 10:01:16 +0200
Subject: [PATCH 1/4] don't add static minisat lib

---
 src/libcprover-cpp/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/libcprover-cpp/CMakeLists.txt b/src/libcprover-cpp/CMakeLists.txt
index d32b4074bf59..0ed353d8a3f7 100644
--- a/src/libcprover-cpp/CMakeLists.txt
+++ b/src/libcprover-cpp/CMakeLists.txt
@@ -62,7 +62,7 @@ set(DEPENDENCY_TARGETS "")
 foreach(dep ${LIBRARY_DEPENDENCIES})
     if(TARGET ${dep})
         list(APPEND DEPENDENCY_TARGETS "$<TARGET_FILE:${dep}>")
-    else()
+    elseif(NOT dep STREQUAL "minisat")
         find_library(dep_path ${dep})
         string(REGEX REPLACE "[.]so$" ".a" dep_static_path ${dep_path})
         if (NOT EXISTS "${dep_static_path}")
-- 
2.49.0