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 /src | |
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 'src')
-rw-r--r-- | src/CMakeLists.txt | 5 |
1 files changed, 0 insertions, 5 deletions
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 |