projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7684686) | patch
cmake: Disable unit tests for static builds. (#2775)
authorMathias Preiner <mathias.preiner@gmail.com>
Sat, 5 Jan 2019 04:21:10 +0000 (20:21 -0800)
committerAndres Noetzli <andres.noetzli@gmail.com>
Sat, 5 Jan 2019 04:21:10 +0000 (20:21 -0800)
commit716626f2f41f51cda38834e5c9dc691b0c4fd664
treedc08d11fb25c35da08129913e1cc7a678b366136tree
parent7684686a1f75a90a3754bacc82ee50fb7b20d7c9commit | diff
cmake: Disable unit tests for static builds. (#2775)

--static now implies --no-unit-testing.

Fixes #2672.
CMakeLists.txt diff | blob | history