From 65aa20deebf2e1016b3459e2f7ef8521c62e1c74 Mon Sep 17 00:00:00 2001 From: Alex Trotta Date: Thu, 12 Mar 2026 14:01:58 -0400 Subject: [PATCH] Insert a / if the default URL is used We expect the base URL to not have a slash when provided externally, this fixes the full URL when that is the case. --- mojo/extensions.bzl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mojo/extensions.bzl b/mojo/extensions.bzl index c3b4410..436a6ca 100644 --- a/mojo/extensions.bzl +++ b/mojo/extensions.bzl @@ -27,7 +27,7 @@ _NULL_SHAS = { def _mojo_toolchain_impl(rctx): for whl in "mojo_compiler", "mojo_compiler_mojo_libs": - base_url = (rctx.attr.base_url or "https://whl.modular.com/nightly/") + whl.replace("_", "-") + base_url = (rctx.attr.base_url or "https://whl.modular.com/nightly") + "/" + whl.replace("_", "-") platform = _PLATFORM_MAPPINGS[rctx.attr.platform] if whl == "mojo_compiler" else "any" sha_key = rctx.attr.platform if whl == "mojo_compiler" else "mojo_compiler_mojo_libs" rctx.download_and_extract(