projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d828df7) | patch
cmake: Generate git_versioninfo.cpp on build time. (#2640)
authorMathias Preiner <mathias.preiner@gmail.com>
Mon, 15 Oct 2018 23:46:17 +0000 (16:46 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Mon, 15 Oct 2018 23:46:17 +0000 (16:46 -0700)
commit0bc40f92221e5e8c669e2409ff3120d5c2257aec
tree7e07835cccfa2827ca2f2f98b9eab25b07081655tree
parentd828df78c39000b54c2a7824482e206f6761664fcommit | diff
cmake: Generate git_versioninfo.cpp on build time. (#2640)
src/CMakeLists.txt diff | blob | history
src/base/CMakeLists.txt diff | blob | history
src/base/GitInfo.cmake.in [new file with mode: 0644] blob