Skip to content

Bazel dependency checksum issues #2757

@mikebauer

Description

@mikebauer

Is anyone else seeing checksum issues with bazel deps, in particular the toolchains?

Error in download_and_extract: java.io.IOException: Error downloading [https://developer.arm.com/-/media/Files/downloads/gnu/13.2.rel1/binrel/arm-gnu-toolchain-13.2.rel1-x86_64-arm-none-eabi.tar.xz] to /home/mikebauer/.cache/bazel/_bazel_mikebauer/7de9f2fde8899c7ce564d2b02c9ab08d/external/pico-sdk++_repo_rules+arm_gcc_linux-x86_64/temp16790324797212182679/arm-gnu-toolchain-13.2.rel1-x86_64-arm-none-eabi.tar.xz: Checksum was eb82035e091fd1a601c618e45570ab7d89086146099fd4dca8b838dc8b47b9f5 but wanted 6cd1bbc1d9ae57312bcd169ae283153a9572bd6a8e4eeae2fedfbc33b115fdbb

I noticed the following:

curl https://developer.arm.com/-/media/Files/downloads/gnu/13.2.rel1/binrel/arm-gnu-toolchain-13.2.rel1-x86_64-arm-none-eabi.tar.xz
<html><head><title>Object moved</title></head><body>
<h2>Object moved to <a href="https://armkeil.blob.core.windows.net/developer/Files/downloads/gnu/13.2.rel1/binrel/arm-gnu-toolchain-13.2.rel1-x86_64-arm-none-eabi.tar.xz">here</a>.</h2>
</body></html>

And this downloader config fixed the issue for me.

rewrite developer.arm.com/-/media/(.*) armkeil.blob.core.windows.net/developer/$1

Happy to put up a PR to update the toolchain urls.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions