projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c1add2) | patch
remove stuff (#7258)
authorGereon Kremer <nafur42@gmail.com>
Wed, 29 Sep 2021 03:10:45 +0000 (20:10 -0700)
committerGitHub <noreply@github.com>
Wed, 29 Sep 2021 03:10:45 +0000 (03:10 +0000)
commita42b56e46f579b57eb0a3f49d1195881670375e7
tree5a9f033cf8492768ed47c4ca6d0832f8bb43e6eatree
parent1c1add20d0842ea347fffb19bb3ad90eee665a3bcommit | diff
remove stuff (#7258)

This PR removes the BUILD_LIB_ONLY cmake option, and the associated --lib-only configure script option.
If you only want the library, just run make cvc5 instead of make.
CMakeLists.txt diff | blob | history
configure.sh diff | blob | history
src/CMakeLists.txt diff | blob | history
test/CMakeLists.txt diff | blob | history