projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 706a1c8) | patch
Run gen-versioninfo unconditionally (#8368)
authorGereon Kremer <gkremer@cs.stanford.edu>
Wed, 23 Mar 2022 08:27:33 +0000 (09:27 +0100)
committerGitHub <noreply@github.com>
Wed, 23 Mar 2022 08:27:33 +0000 (08:27 +0000)
commit7c895b75068b037d2abb36fa9d88bd87847aa641
treed4c96e341b714860e5060b89eaa7db046505044atree
parent706a1c85c4a7d7e6039268cc54900ac852902fc2commit | diff
Run gen-versioninfo unconditionally (#8368)

This fixes an issue where the output of `--show-config` would not be updated properly in certain cases (e.g., when files were modified but cmake is not run). We now run the `gen-versioninfo` target unconditionally, always updating the `versioninfo.cpp` where the version data for `--show-config` is stored.
cmake/version.cmake diff | blob | history