Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
devel:tools:statica
cbmc
0001-don-t-add-static-minisat-lib.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 0001-don-t-add-static-minisat-lib.patch of Package cbmc
From b81892c7afae891163413803074dfa7277b2b5bd Mon Sep 17 00:00:00 2001 From: Jiri Slaby <jslaby@suse.cz> Date: Thu, 15 Jun 2023 10:01:16 +0200 Subject: [PATCH] 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 adf1a331..a14f54e7 100644 --- a/src/libcprover-cpp/CMakeLists.txt +++ b/src/libcprover-cpp/CMakeLists.txt @@ -63,7 +63,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.35.3
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor
