From: Gereon Kremer <nafur42@gmail.com>
Date: Tue, 28 Sep 2021 23:20:24 +0000 (-0700)
Subject: Remove linking against RT (#7257)
X-Git-Tag: cvc5-1.0.0~1166
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=612fc435338b689458b9c73d6aebf0476fee9af4;p=cvc5.git

Remove linking against RT (#7257)

This PR removes long obsolete cmake code that is only required when using a pre-2013 glibc.
---

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