projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5516d99) | patch
cmake: Do not link against main object library. (#6269)
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 2 Apr 2021 19:12:15 +0000 (12:12 -0700)
committerGitHub <noreply@github.com>
Fri, 2 Apr 2021 19:12:15 +0000 (19:12 +0000)
commit385ecf64fd4437ca15156a44b97f2001428dc1f5
treea4dcd59a6fc743f7cbe2508aa545fc950aff3600tree
parent5516d995582f5ccfa6e8dcc17d6b7e3f0c56551acommit | diff
cmake: Do not link against main object library. (#6269)

CMake 3.10.2 (default on Ubuntu 18.04) does not allow target_link_libraries on object libraries.
src/main/CMakeLists.txt diff | blob | history
src/main/command_executor.cpp diff | blob | history
src/main/command_executor.h diff | blob | history
src/main/driver_unified.cpp diff | blob | history
src/main/signal_handlers.cpp diff | blob | history