Mirror the arm toolchain to our artifacts cache
A recent incident where the TLS certificate from developer.arm.com could
not be verified, revealed that we should mirror it too.
@@ -7,7 +7,10 @@ def toolchains():
http_archive(
name = "aarch64-none-linux-gnu",
build_file = Label("//third_party/toolchains:aarch64-none-linux-gnu.BUILD"),
- url = "https://developer.arm.com/-/media/Files/downloads/gnu-a/10.2-2020.11/binrel/gcc-arm-10.2-2020.11-x86_64-aarch64-none-linux-gnu.tar.xz",
+ urls = [
+ "https://developer.arm.com/-/media/Files/downloads/gnu-a/10.2-2020.11/binrel/gcc-arm-10.2-2020.11-x86_64-aarch64-none-linux-gnu.tar.xz",
+ "https://storage.googleapis.com/builddeps/fe7f72330216612de44891ebe5e228eed7c0c051ac090c395b2b33115c6f5408",
+ ],
sha256 = "fe7f72330216612de44891ebe5e228eed7c0c051ac090c395b2b33115c6f5408",
strip_prefix = "gcc-arm-10.2-2020.11-x86_64-aarch64-none-linux-gnu",
)
