projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3735b03) | patch
Fix Configuration::isStaticBuild (#7456)
authorGereon Kremer <nafur42@gmail.com>
Tue, 26 Oct 2021 11:58:53 +0000 (04:58 -0700)
committerGitHub <noreply@github.com>
Tue, 26 Oct 2021 11:58:53 +0000 (11:58 +0000)
commit03cc4a7e06ce714abfc745c5de6b76b8f33cc882
tree54cb7956d1446254df9b544e1a91e72116e75531tree
parent3735b033da730f532de39af4c069f3a0d00e6484commit | diff
Fix Configuration::isStaticBuild (#7456)

This PR fixes a minor issue in Configuration::isStaticBuild() which would always return true. Note that CVC5_STATIC_BUILD is always defined via #cmakedefine01 in cvc5config.h.
src/base/configuration.cpp diff | blob | history