From 612fc435338b689458b9c73d6aebf0476fee9af4 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Tue, 28 Sep 2021 16:20:24 -0700 Subject: [PATCH] Remove linking against RT (#7257) This PR removes long obsolete cmake code that is only required when using a pre-2013 glibc. --- cmake/ConfigureCvc5.cmake | 5 ----- src/CMakeLists.txt | 5 ----- 2 files changed, 10 deletions(-) diff --git a/cmake/ConfigureCvc5.cmake b/cmake/ConfigureCvc5.cmake index 009e9969b..2b8e5cedc 100644 --- a/cmake/ConfigureCvc5.cmake +++ b/cmake/ConfigureCvc5.cmake @@ -68,11 +68,6 @@ if(CVC5_WINDOWS_BUILD) endif() else() check_symbol_exists(clock_gettime "time.h" HAVE_CLOCK_GETTIME) - if(NOT HAVE_CLOCK_GETTIME) - unset(HAVE_CLOCK_GETTIME CACHE) - check_library_exists(rt clock_gettime "time.h" HAVE_CLOCK_GETTIME) - find_library(RT_LIBRARIES NAMES rt) - endif() endif() check_symbol_exists(ffs "strings.h" HAVE_FFS) check_symbol_exists(optreset "getopt.h" HAVE_DECL_OPTRESET) diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 914bc5d0c..c7192dcf7 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -1353,11 +1353,6 @@ target_link_libraries(cvc5 PRIVATE SymFPU) # depends on GMP. target_link_libraries(cvc5 PRIVATE GMP) -# Add rt library -# Note: For glibc < 2.17 we have to additionally link against rt (man clock_gettime). -# RT_LIBRARIES should be empty for glibc >= 2.17 -target_link_libraries(cvc5 PRIVATE ${RT_LIBRARIES}) - #-----------------------------------------------------------------------------# # Visit main subdirectory after creating target cvc5. For target main, we have # to manually add library dependencies since we can't use -- 2.30.2