From 8fec0e3441f4e1e1d82babd75dae31f938584518 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Motiejus=20Jak=C5=A1tys?= Date: Wed, 18 May 2022 10:42:51 +0300 Subject: [PATCH] zig sdk: download from zig upstream as well as jakstys.lt Now that the toolchain supports multiple mirrors, we can have more robust defaults: try ziglang.org first, then dl.jakstys.lt when that one removes the build we rely on. This will make builds less prone to inevitable failures of my home server. --- toolchain/defs.bzl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/toolchain/defs.bzl b/toolchain/defs.bzl index 7f192ac..9ab4e88 100644 --- a/toolchain/defs.bzl +++ b/toolchain/defs.bzl @@ -43,7 +43,7 @@ _HOST_PLATFORM_SHA256 = { def toolchains( version = _VERSION, - url_formats = [URL_FORMAT_JAKSTYS], + url_formats = [URL_FORMAT_NIGHTLY, URL_FORMAT_JAKSTYS], host_platform_sha256 = _HOST_PLATFORM_SHA256): """ Download zig toolchain and declare bazel toolchains.