From: Gereon Kremer <nafur42@gmail.com>
Date: Fri, 1 Oct 2021 20:59:07 +0000 (-0700)
Subject: Remove (apparently obsolete) checks in cms config (#7294)
X-Git-Tag: cvc5-1.0.0~1137
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=45d127cc4ebaa9c092605266c118288560c1138b;p=cvc5.git

Remove (apparently obsolete) checks in cms config (#7294)

This removes checks from the CryptoMiniSat config for the existence of a couple of static libraries. Apparently, these are not necessary any more.
---

diff --git a/cmake/FindCryptoMiniSat.cmake b/cmake/FindCryptoMiniSat.cmake
index fb4ca2069..5b543aedc 100644
--- a/cmake/FindCryptoMiniSat.cmake
+++ b/cmake/FindCryptoMiniSat.cmake
@@ -42,20 +42,6 @@ if(NOT CryptoMiniSat_FOUND_SYSTEM)
     check_auto_download("CryptoMiniSat" "--no-cryptominisat")
   endif()
 
-  # Check for static libraries required by CryptoMiniSat
-  set(CMS_STATIC_LIBS "c;m;dl;pthread")
-  foreach(static_lib ${CMS_STATIC_LIBS})
-
-    # We can't use 'REQUIRED' here, as it needs a too-recent CMake
-    find_library(lib${static_lib}_static lib${static_lib}.a)
-
-    # Check if the static library has been found
-    if(NOT lib${static_lib}_static)
-      message(FATAL_ERROR "static lib${static_lib} not found")
-    endif()
-
-  endforeach()
-
   include(ExternalProject)
 
   ExternalProject_Add(