Update WORKSPACE
Same purpose as #5585, but a bit less intrusive perhaps.
diff --git a/WORKSPACE b/WORKSPACE
index 589dc12..5f1d872 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -6,6 +6,16 @@
urls = ["https://github.com/bazelbuild/bazel-skylib/archive/main.zip"],
)
+# Override bazel's default `platforms`, since googletest requires a newer version. This can be removed once we use a newer Bazel version.
+http_archive(
+ name = "platforms",
+ urls = [
+ "https://mirror.bazel.build/github.com/bazelbuild/platforms/releases/download/0.0.8/platforms-0.0.8.tar.gz",
+ "https://github.com/bazelbuild/platforms/releases/download/0.0.8/platforms-0.0.8.tar.gz",
+ ],
+ sha256 = "8150406605389ececb6da07cbcb509d5637a3ab9a24bc69b1101531367d89d74",
+)
+
local_repository(
name = "spirv_headers",
path = "external/spirv-headers",