Refactor our static builds (#7251)
authorGereon Kremer <nafur42@gmail.com>
Thu, 30 Sep 2021 19:15:24 +0000 (12:15 -0700)
committerGitHub <noreply@github.com>
Thu, 30 Sep 2021 19:15:24 +0000 (19:15 +0000)
commit65e5a909b10855d2e6b3844f7bc4efb7fbe4fe2f
treebb541a32e3985be59ffdc323038677bbace24ede
parent5a824c9e67789a529e34b7e2a7229986412bf979
Refactor our static builds (#7251)

This PR does a major refactoring on how we organize our builds to allow both shared and static builds. We now build the libraries using object libraries to allow building the libraries both dynamically and statically in the same build folder, though the static library is optional (ENABLE_STATIC_LIBRARY). The binary is linked either dynamically or statically (depending on ENABLE_STATIC_BINARY).
18 files changed:
CMakeLists.txt
cmake/ConfigCompetition.cmake
cmake/FindCLN.cmake
cmake/FindEditline.cmake
cmake/FindGMP.cmake
cmake/FindPoly.cmake
cmake/cvc5Config.cmake.in
cmake/deps-helper.cmake
configure.sh
examples/CMakeLists.txt
src/CMakeLists.txt
src/api/java/CMakeLists.txt
src/api/python/CMakeLists.txt
src/base/CMakeLists.txt
src/context/CMakeLists.txt
src/main/CMakeLists.txt
src/parser/CMakeLists.txt
test/unit/CMakeLists.txt