diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-10-01 13:59:07 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-01 20:59:07 +0000 |
commit | 45d127cc4ebaa9c092605266c118288560c1138b (patch) | |
tree | c9463e5afdba989683af942d7d64e3702587aa1c /cmake | |
parent | b261b0a6031dee3210e569f75f8abdac35b7091c (diff) |
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.
Diffstat (limited to 'cmake')
-rw-r--r-- | cmake/FindCryptoMiniSat.cmake | 14 |
1 files changed, 0 insertions, 14 deletions
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( |