WORKSPACE

workspace(name = "risc0")

load("@bazel_tools//tools/build_defs/repo:http.bzl", "http_archive")

register_toolchains(
    "//:clang_format_toolchain",
    "//bazel/rules/rust:dummy_cc_wasm32_toolchain",
)

http_archive(
    name = "bazel_skylib",
    sha256 = "c6966ec828da198c5d9adbaa94c05e3a1c7f21bd012a0b29ba8ddbccb2c93b0d",
    urls = [
        "https://github.com/bazelbuild/bazel-skylib/releases/download/1.1.1/bazel-skylib-1.1.1.tar.gz",
        "https://mirror.bazel.build/github.com/bazelbuild/bazel-skylib/releases/download/1.1.1/bazel-skylib-1.1.1.tar.gz",
    ],
)

load("@bazel_skylib//:workspace.bzl", "bazel_skylib_workspace")

bazel_skylib_workspace()

load("//bazel/toolchain/risc0:repo.bzl", "risc0_toolchain")

risc0_toolchain(name = "risc0_toolchain")

http_archive(
    name = "com_google_googletest",
    sha256 = "5cf189eb6847b4f8fc603a3ffff3b0771c08eec7dd4bd961bfd45477dd13eb73",
    strip_prefix = "googletest-609281088cfefc76f9d0ce82e1ff6c30cc3591e5",
    urls = ["https://github.com/google/googletest/archive/609281088cfefc76f9d0ce82e1ff6c30cc3591e5.zip"],
)

http_archive(
    name = "com_google_benchmark",
    sha256 = "3b156bac7800f67858afe6ec2c280e291da70c9fc55377cb47ac11cc83f3128e",
    strip_prefix = "benchmark-0d98dba29d66e93259db7daa53a9327df767a415",
    urls = ["https://github.com/google/benchmark/archive/0d98dba29d66e93259db7daa53a9327df767a415.zip"],
)

http_archive(
    name = "build_bazel_apple_support",
    sha256 = "76df040ade90836ff5543888d64616e7ba6c3a7b33b916aa3a4b68f342d1b447",
    url = "https://github.com/bazelbuild/apple_support/releases/download/0.11.0/apple_support.0.11.0.tar.gz",
)

load(
    "@build_bazel_apple_support//lib:repositories.bzl",
    "apple_support_dependencies",
)

apple_support_dependencies()

http_archive(
    name = "riscv_tests",
    build_file = "//bazel/third_party:riscv_tests.BUILD",
    sha256 = "a475f6a9a766cfeb467fa10bc8c006274bffe8673dea357a4d61bdb1067d2c64",
    strip_prefix = "riscv-tests-e30978a71921159aec38eeefd848fca4ed39a826",
    url = "https://github.com/riscv/riscv-tests/archive/e30978a71921159aec38eeefd848fca4ed39a826.zip",
)

http_archive(
    name = "bazel_clang_tidy",
    sha256 = "502fb0ea88e28965986851566f0c42330cf31f4289478d6399790b25644b811c",
    strip_prefix = "bazel_clang_tidy-9871a95dbb150dc595aa91355fe99c500196cf3c",
    url = "https://github.com/erenon/bazel_clang_tidy/archive/9871a95dbb150dc595aa91355fe99c500196cf3c.zip",
)

http_archive(
    name = "rules_rust",
    sha256 = "7fb9b4fe1a6fb4341bdf7c623e619460ecc0f52d5061cc56abc750111fba8a87",
    url = "https://github.com/bazelbuild/rules_rust/releases/download/0.7.0/rules_rust-v0.7.0.tar.gz",
)

load("@rules_rust//rust:repositories.bzl", "rules_rust_dependencies")

rules_rust_dependencies()

load("@rules_rust//tools/rust_analyzer:deps.bzl", "rust_analyzer_deps")

rust_analyzer_deps()

load("//bazel/rules/rust:repositories.bzl", "rust_repositories")

RUST_ISO_DATE = "2022-06-13"

RUST_VERSION = "nightly"

rust_repositories(
    edition = "2021",
    iso_date = RUST_ISO_DATE,
    rustfmt_version = "nightly",
    version = RUST_VERSION,
)

load("@rules_rust//crate_universe:repositories.bzl", "crate_universe_dependencies")

crate_universe_dependencies()

load("@rules_rust//crate_universe:defs.bzl", "crate", "crates_repository")

crates_repository(
    name = "crates_host",
    cargo_lockfile = "//:Cargo-host.lock",
    isolated = True,
    manifests = [
        "//:Cargo.toml",
        "//risc0/core:Cargo.toml",
        "//risc0/zkp:Cargo.toml",
        "//risc0/zkp/rust:Cargo.toml",
        "//risc0/zkvm:Cargo.toml",
        "//risc0/zkvm/circuit/make-circuit:Cargo.toml",
        "//risc0/zkvm/circuit:Cargo.toml",
        "//risc0/zkvm/platform:Cargo.toml",
        "//risc0/zkvm/prove/make-id:Cargo.toml",
        "//risc0/zkvm/r0vm:Cargo.toml",
        "//risc0/zkvm/sdk/rust:Cargo.toml",
        "//risc0/zkvm/sdk/rust/build:Cargo.toml",
        "//risc0/zkvm/sdk/rust/circuit:Cargo.toml",
        "//risc0/zkvm/sdk/rust/platform:Cargo.toml",
    ],
    quiet = False,
)

load("@crates_host//:defs.bzl", crate_repositories_host = "crate_repositories")

crate_repositories_host()

crates_repository(
    name = "crates_guest",
    cargo_lockfile = "//:Cargo-guest.lock",
    isolated = True,
    packages = {
        "anyhow": crate.spec(
            default_features = False,
            version = "1.0",
        ),
        "array-init": crate.spec(version = "2.0"),
        "bytemuck": crate.spec(
            features = ["derive"],
            version = "1.9",
        ),
        "cfg-if": crate.spec(version = "1.0"),
        "log": crate.spec(version = "0.4"),
        "paste": crate.spec(version = "1.0"),
        "rand": crate.spec(
            default_features = False,
            features = ["small_rng"],
            version = "0.8",
        ),
        "rand_core": crate.spec(
            default_features = False,
            version = "0.6",
        ),
        "serde": crate.spec(
            default_features = False,
            features = [
                "alloc",
                "derive",
            ],
            version = "1.0",
        ),
    },
    quiet = False,
)

load("@crates_guest//:defs.bzl", crate_repositories_guest = "crate_repositories")

crate_repositories_guest()

http_archive(
    name = "oneTBB",
    build_file = "//bazel/third_party:oneTBB.BUILD",
    sha256 = "e5b57537c741400cf6134b428fc1689a649d7d38d9bb9c1b6d64f092ea28178a",
    strip_prefix = "oneTBB-2021.5.0",
    url = "https://github.com/oneapi-src/oneTBB/archive/refs/tags/v2021.5.0.tar.gz",
)

http_archive(
    name = "rules_python",
    sha256 = "a30abdfc7126d497a7698c29c46ea9901c6392d6ed315171a6df5ce433aa4502",
    strip_prefix = "rules_python-0.6.0",
    url = "https://github.com/bazelbuild/rules_python/archive/0.6.0.tar.gz",
)

http_archive(
    name = "rules_conda",
    patch_args = ["-p1"],
    patches = ["//bazel/third_party/rules_conda:prefix.patch"],
    sha256 = "9793f86162ec5cfb32a1f1f13f5bf776e2c06b243c4f1ee314b9ec870144220d",
    url = "https://github.com/spietras/rules_conda/releases/download/0.1.0/rules_conda-0.1.0.zip",
)

load("@rules_conda//:defs.bzl", "conda_create", "load_conda", "register_toolchain")

load_conda(
    install_mamba = True,
    installer = "miniforge",
    quiet = False,
)

conda_create(
    name = "py3_env",
    environment = "@//:environment.yml",
    quiet = False,
    use_mamba = True,
)

register_toolchain(py3_env = "py3_env")