From 755c39873b86a49542d603d5299374a98a6f1882 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Wed, 2 Jul 2025 16:01:33 +0000
Subject: [PATCH] Fix git describe command in CMake configuration

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>
---
 cmake/git_utils.cmake | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cmake/git_utils.cmake b/cmake/git_utils.cmake
index 9582012a0..ea5b04461 100644
--- a/cmake/git_utils.cmake
+++ b/cmake/git_utils.cmake
@@ -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