mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-30 07:53:15 +00:00
Code Activity

Fix git describe command in CMake configuration

Browse source 
Add --always flag to git describe command in cmake/git_utils.cmake to ensure it always returns a result, either a tag-based description or commit hash fallback. This prevents build failures when no git tags can describe the current commit.

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2025-07-02 16:01:33 +00:00
parent e66c3f8a40
commit 755c39873b
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
cmake/git_utils.cmake
View file

@ -203,6 +203,7 @@ function(get_git_head_describe GIT_DOT_FILE OUTPUT_VAR)
"${GIT_EXECUTABLE}"
"describe"
"--long"
"--always"
WORKING_DIRECTORY
"${GIT_WORKING_DIR}"
RESULT_VARIABLE