projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6aef06e) | patch
Refactor cmake to build either static or shared (#7534)
authorGereon Kremer <nafur42@gmail.com>
Thu, 4 Nov 2021 18:43:42 +0000 (11:43 -0700)
committerGitHub <noreply@github.com>
Thu, 4 Nov 2021 18:43:42 +0000 (18:43 +0000)
commite1f69a43e9ee7e4a63f3c4a1881001bc650c9df7
treef5293f7fdc47f773466185585a8c41d85a258562tree
parent6aef06e6fed867eb014e08859139c8c610c7cce4commit | diff
Refactor cmake to build either static or shared (#7534)

This PR simplifies the cmake setup to only build either shared or statically. It also attempts to fix windows builds, both shared and static.
18 files changed:
.github/actions/configure-and-build/action.yml diff | blob | history
.github/actions/run-tests/action.yml diff | blob | history
.github/workflows/ci.yml diff | blob | history
CMakeLists.txt diff | blob | history
cmake/ConfigCompetition.cmake diff | blob | history
cmake/FindANTLR3.cmake diff | blob | history
cmake/FindCLN.cmake diff | blob | history
cmake/FindGMP.cmake diff | blob | history
cmake/FindPoly.cmake diff | blob | history
cmake/cvc5Config.cmake.in diff | blob | history
configure.sh diff | blob | history
examples/CMakeLists.txt diff | blob | history
src/CMakeLists.txt diff | blob | history
src/api/java/CMakeLists.txt diff | blob | history
src/api/python/CMakeLists.txt diff | blob | history
src/main/CMakeLists.txt diff | blob | history
src/parser/CMakeLists.txt diff | blob | history
test/unit/CMakeLists.txt diff | blob | history