diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-09-28 16:20:24 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-28 23:20:24 +0000 |
commit | 612fc435338b689458b9c73d6aebf0476fee9af4 (patch) | |
tree | bd4a81c0036360ce76c654379aa56bdf94a4f9e8 /cmake | |
parent | 7179be03b049d3046140316c4c5987efbdbd09b8 (diff) |
Remove linking against RT (#7257)
This PR removes long obsolete cmake code that is only required when using a pre-2013 glibc.
Diffstat (limited to 'cmake')
-rw-r--r-- | cmake/ConfigureCvc5.cmake | 5 |
1 files changed, 0 insertions, 5 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) |