Skip to content

Commit be4ee8c

Browse files
committed
Add miri_test
1 parent e8f3393 commit be4ee8c

29 files changed

Lines changed: 1903 additions & 137 deletions

MODULE.bazel

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -52,6 +52,7 @@ use_repo(
5252
bazel_dep(name = "bazel_lib", version = "3.0.0")
5353
bazel_dep(name = "bazel_features", version = "1.45.0")
5454
bazel_dep(name = "bazel_skylib", version = "1.4.1")
55+
bazel_dep(name = "hermetic_launcher", version = "0.0.5")
5556
bazel_dep(name = "package_metadata", version = "0.0.7")
5657
bazel_dep(name = "platforms", version = "1.1.0")
5758
bazel_dep(name = "protobuf", version = "34.0.bcr.1", repo_name = "com_google_protobuf")

MODULE.bazel.lock

Lines changed: 2 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

rs/experimental/miri/BUILD.bazel

Lines changed: 85 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,85 @@
1+
load("@bazel_lib//:bzl_library.bzl", "bzl_library")
2+
3+
package(default_visibility = ["//visibility:public"])
4+
5+
toolchain_type(name = "toolchain_type")
6+
7+
toolchain_type(name = "sysroot_toolchain_type")
8+
9+
bzl_library(
10+
name = "providers",
11+
srcs = ["providers.bzl"],
12+
)
13+
14+
bzl_library(
15+
name = "toolchain",
16+
srcs = ["toolchain.bzl"],
17+
deps = [":providers"],
18+
)
19+
20+
bzl_library(
21+
name = "compile",
22+
srcs = ["compile.bzl"],
23+
deps = [
24+
":providers",
25+
":toolchain",
26+
"@bazel_features//:features",
27+
"@bazel_tools//tools/build_defs/cc:action_names.bzl",
28+
"@rules_cc//cc:find_cc_toolchain.bzl",
29+
"@rules_cc//cc/common:cc_common.bzl",
30+
"@rules_rust//rust:bzl_lib",
31+
],
32+
)
33+
34+
bzl_library(
35+
name = "sysroot",
36+
srcs = ["sysroot.bzl"],
37+
deps = [
38+
":compile",
39+
":providers",
40+
":toolchain",
41+
"@bazel_lib//lib:copy_to_directory",
42+
],
43+
)
44+
45+
bzl_library(
46+
name = "miri_test",
47+
srcs = ["miri_test.bzl"],
48+
deps = [
49+
":compile",
50+
":providers",
51+
":toolchain",
52+
"@bazel_features//:features",
53+
"@hermetic_launcher//launcher:lib_bzl",
54+
],
55+
)
56+
57+
bzl_library(
58+
name = "declare_toolchains",
59+
srcs = ["declare_toolchains.bzl"],
60+
deps = [
61+
":sysroot",
62+
":toolchain",
63+
"//rs/platforms:triples",
64+
"//rs/toolchains:toolchain_utils",
65+
"@rules_rust//rust/platform:bzl_lib",
66+
],
67+
)
68+
69+
bzl_library(
70+
name = "module_extension",
71+
srcs = ["module_extension.bzl"],
72+
deps = [
73+
":declare_toolchains",
74+
"//rs/platforms:triples",
75+
"//rs/private:cargo_repository",
76+
"//rs/private:miri_repository",
77+
"//rs/private:module_extension_utils",
78+
"//rs/private:rustc_repository",
79+
"//rs/private:rustc_src_repository",
80+
"//rs/private:stdlib_repository",
81+
"//rs/toolchains:toolchain_utils",
82+
"@rules_rust//rust/platform:bzl_lib",
83+
"@rules_rust//rust/private:bzl_lib",
84+
],
85+
)

0 commit comments

Comments
 (0)