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()