| workspace(name = "kelvin") |
| |
| load("@bazel_tools//tools/build_defs/repo:utils.bzl", "maybe") |
| load("@bazel_tools//tools/build_defs/repo:http.bzl", "http_archive") |
| |
| # Kelvin toolchain |
| new_local_repository( |
| name = "kelvin-gcc", |
| build_file = "third_party/kelvin-gcc/BUILD", |
| path = "../../cache/toolchain_kelvin", |
| ) |
| |
| # CRT is the Compiler Repository Toolkit. It contains the configuration for |
| # the windows compiler. |
| maybe( |
| http_archive, |
| name = "crt", |
| url = "https://github.com/lowRISC/crt/archive/refs/tags/v0.3.4.tar.gz", |
| sha256 = "01a66778d1a0d5bbfb4ba30e72bd6876d0c20766d0b1921ab36ca3350cb48c60", |
| strip_prefix = "crt-0.3.4", |
| ) |
| |
| load("@crt//:repos.bzl", "crt_repos") |
| |
| crt_repos() |
| |
| load("@crt//:deps.bzl", "crt_deps") |
| |
| crt_deps() |
| |
| load("//platforms:registration.bzl", "kelvin_register_toolchain") |
| |
| kelvin_register_toolchain() |
