projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8519233) | patch
cmake: Add examples to build-tests, add warning for disabling static build. (#2562)
authorMathias Preiner <mathias.preiner@gmail.com>
Tue, 2 Oct 2018 18:52:06 +0000 (11:52 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Tue, 2 Oct 2018 18:52:06 +0000 (11:52 -0700)
commit1300320d84e89306ce988bd3cbe2b12f0fc6b8a5
tree4807dd0867b40249823b0a630282e2ad4b1c1e97tree
parent8519233cec9501f31aa1789eff60cb802c8df450commit | diff
cmake: Add examples to build-tests, add warning for disabling static build. (#2562)
CMakeLists.txt diff | blob | history
test/CMakeLists.txt diff | blob | history