Fix z3 BUILD.bazel for macOS, Windows

Author: tsnl

.bazelrc

@@ -2,6 +2,13 @@
 common --enable_bzlmod
 common --noenable_workspace
 
+# Specifies...
+#   --config=windows on Windows hosts
+#   --config=linux on Linux hosts
+#   --config=macos on macOS hosts
+# NOTE: We assume our host and target platforms are identical.
+common --enable_platform_specific_config
+
 # Use C++20.
 build --cxxopt=-std=c++20
 build --host_cxxopt=-std=c++20

BUILD.bazel

@@ -21,6 +21,11 @@ cmake(
     generate_args = ["-G Ninja"],
     lib_source = ":all_files",
     out_binaries = ["z3"],
-    out_shared_libs = ["libz3.so"],
+    out_shared_libs = select({
+        "@platforms//os:linux": ["libz3.so"],
+        "@platforms//os:osx": glob(["libz3*.dylib"]),
+        "@platforms//os:windows": ["z3.dll"],
+        "//conditions:default": ["@platforms//:incompatible"],
+    }),
     visibility = ["//visibility:public"],
 )

MODULE.bazel

@@ -17,3 +17,5 @@ bazel_dep(
     version = "8.0.1",
     dev_dependency = True,
 )
+
+bazel_dep(name = "platforms", version = "0.0.11")