projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8db8b76) | patch
Check for rt library in configuration -- support for glibc<2.17 (#2854)
authormakaimann <makaim@stanford.edu>
Tue, 16 Apr 2019 00:17:29 +0000 (17:17 -0700)
committerAndres Noetzli <andres.noetzli@gmail.com>
Tue, 16 Apr 2019 00:17:29 +0000 (17:17 -0700)
commit3df27eab5e9da3bab7853c02bdea6a250623d2a5
tree0eb6e80e55ed8e67772b719a32ff7185fcf68aa1tree
parent8db8b76f4ee98e3166ee8bb2e1bad77380060edccommit | diff
Check for rt library in configuration -- support for glibc<2.17 (#2854)

This is a minor fix for systems with glibc version < 2.17. In that case, we need to link with `-lrt` according to the clock_gettime man page.
cmake/ConfigureCVC4.cmake diff | blob | history
src/CMakeLists.txt diff | blob | history