File 0004-do-not-run-c_library_check.patch of Package cbmc

From c29be951bee21520d39fd84830428cd0e7115a46 Mon Sep 17 00:00:00 2001
From: Jiri Slaby <jslaby@suse.cz>
Date: Wed, 19 Oct 2022 10:56:45 +0200
Subject: [PATCH 4/4] do not run c_library_check

It was not run in Makefile by default. And add_custom_target() is always
run.
---
 src/ansi-c/CMakeLists.txt | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/src/ansi-c/CMakeLists.txt b/src/ansi-c/CMakeLists.txt
index 9934bb9d4559..9795e919d88a 100644
--- a/src/ansi-c/CMakeLists.txt
+++ b/src/ansi-c/CMakeLists.txt
@@ -52,12 +52,6 @@ add_custom_command(
     WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}
 )
 
-if(NOT "${CMAKE_CXX_COMPILER_ID}" STREQUAL "MSVC")
-    add_custom_target(c_library_check
-        DEPENDS ${CMAKE_CURRENT_BINARY_DIR}/library-check.stamp
-)
-endif()
-
 ################################################################################
 
 make_inc(compiler_headers/arm_builtin_headers)
@@ -113,7 +107,6 @@ set(extra_dependencies
     ${CMAKE_CURRENT_BINARY_DIR}/compiler_headers/windows_builtin_headers.inc
     ${CMAKE_CURRENT_BINARY_DIR}/cprover_library.inc
     ${CMAKE_CURRENT_BINARY_DIR}/cprover_builtin_headers.inc
-    ${CMAKE_CURRENT_BINARY_DIR}/library-check.stamp
 )
 
 if("${CMAKE_CXX_COMPILER_ID}" STREQUAL "MSVC")
-- 
2.49.0