diff --git a/cvc5.BUILD b/cvc5.BUILD
index 42a87b1..f85f2c5 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"],
 )