projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e5247e6) | patch
cmake: Add option --[no]-static-binary. (#7695)
authorMathias Preiner <mathias.preiner@gmail.com>
Wed, 24 Nov 2021 19:29:11 +0000 (11:29 -0800)
committerGitHub <noreply@github.com>
Wed, 24 Nov 2021 19:29:11 +0000 (19:29 +0000)
commit6b370211944a4520876798e4072597092a1a6236
treec6bc8e02598c828469e1ed84c783162eb9d4c18dtree
parente5247e6100e95afdb7e70b11dff1aca675705aa2commit | diff
cmake: Add option --[no]-static-binary. (#7695)

Allows to disable linking against static system libraries explicitly.
CMakeLists.txt diff | blob | history
configure.sh diff | blob | history
src/main/CMakeLists.txt diff | blob | history