From fa354ed1d7bb8d14274224114de7558333d21b81 Mon Sep 17 00:00:00 2001
From: ambujsingh <ambuj.singh@bti.bmwgroup.com>
Date: Thu, 30 Apr 2026 13:31:15 +0200
Subject: [PATCH] Fixed cvc5.BUILD to use correct binary name on Windows

Windows CVC5 archive ships bin/cvc5.exe, not bin/cvc5. Use a
platform-aware select() so the filegroup references the correct
binary name on each OS.
---
 cvc5.BUILD | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/cvc5.BUILD b/cvc5.BUILD
index 42a87b19..f85f2c56 100644
--- a/cvc5.BUILD
+++ b/cvc5.BUILD
@@ -1,5 +1,8 @@
 filegroup(
     name = "cvc5",
-    srcs = ["bin/cvc5"],
+    srcs = select({
+        "@bazel_tools//src/conditions:windows": ["bin/cvc5.exe"],
+        "//conditions:default": ["bin/cvc5"],
+    }),
     visibility = ["//visibility:public"],
 )