projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dfdacd1) | patch
cmake: Move helper functions to cmake/Helpers.cmake.
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 14 Sep 2018 00:03:54 +0000 (17:03 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Sat, 22 Sep 2018 23:30:59 +0000 (16:30 -0700)
commit1ff93710e3bc216f66ee027f90281f2900b46028
tree2070a09e9957ab12da172aa98823355b157f0729tree
parentdfdacd1fb241c08569cc20b2287c6aedc6b76d6acommit | diff
cmake: Move helper functions to cmake/Helpers.cmake.
CMakeLists.txt diff | blob | history
cmake/Helpers.cmake [new file with mode: 0644] blob