Rollup merge of #98764 - InfRandomness:miri-rustdoc, r=jyn514
add Miri to the nightly docs This is a follow-up to https://github.com/rust-lang/rust/pull/97773 and to https://github.com/rust-lang/rust/pull/98714 It adds miri to the doc.rust-lang.org/nightly/nightly-rustc](https://doc.rust-lang.org/nightly/nightly-rustc/
This commit is contained in:
commit
b0d831a486
@ -694,6 +694,7 @@ impl<'a> Builder<'a> {
|
|||||||
doc::RustcBook,
|
doc::RustcBook,
|
||||||
doc::CargoBook,
|
doc::CargoBook,
|
||||||
doc::Clippy,
|
doc::Clippy,
|
||||||
|
doc::Miri,
|
||||||
doc::EmbeddedBook,
|
doc::EmbeddedBook,
|
||||||
doc::EditionGuide,
|
doc::EditionGuide,
|
||||||
),
|
),
|
||||||
|
@ -643,7 +643,7 @@ impl Step for Rustc {
|
|||||||
}
|
}
|
||||||
|
|
||||||
macro_rules! tool_doc {
|
macro_rules! tool_doc {
|
||||||
($tool: ident, $should_run: literal, $path: literal, [$($krate: literal),+ $(,)?] $(,)?) => {
|
($tool: ident, $should_run: literal, $path: literal, [$($krate: literal),+ $(,)?], in_tree = $in_tree:expr $(,)?) => {
|
||||||
#[derive(Debug, Copy, Clone, Hash, PartialEq, Eq)]
|
#[derive(Debug, Copy, Clone, Hash, PartialEq, Eq)]
|
||||||
pub struct $tool {
|
pub struct $tool {
|
||||||
target: TargetSelection,
|
target: TargetSelection,
|
||||||
@ -699,6 +699,12 @@ macro_rules! tool_doc {
|
|||||||
t!(fs::create_dir_all(&out_dir));
|
t!(fs::create_dir_all(&out_dir));
|
||||||
t!(symlink_dir_force(&builder.config, &out, &out_dir));
|
t!(symlink_dir_force(&builder.config, &out, &out_dir));
|
||||||
|
|
||||||
|
let source_type = if $in_tree == true {
|
||||||
|
SourceType::InTree
|
||||||
|
} else {
|
||||||
|
SourceType::Submodule
|
||||||
|
};
|
||||||
|
|
||||||
// Build cargo command.
|
// Build cargo command.
|
||||||
let mut cargo = prepare_tool_cargo(
|
let mut cargo = prepare_tool_cargo(
|
||||||
builder,
|
builder,
|
||||||
@ -707,7 +713,7 @@ macro_rules! tool_doc {
|
|||||||
target,
|
target,
|
||||||
"doc",
|
"doc",
|
||||||
$path,
|
$path,
|
||||||
SourceType::InTree,
|
source_type,
|
||||||
&[],
|
&[],
|
||||||
);
|
);
|
||||||
|
|
||||||
@ -723,20 +729,38 @@ macro_rules! tool_doc {
|
|||||||
cargo.rustdocflag("--show-type-layout");
|
cargo.rustdocflag("--show-type-layout");
|
||||||
cargo.rustdocflag("--generate-link-to-definition");
|
cargo.rustdocflag("--generate-link-to-definition");
|
||||||
cargo.rustdocflag("-Zunstable-options");
|
cargo.rustdocflag("-Zunstable-options");
|
||||||
|
if $in_tree == true {
|
||||||
builder.run(&mut cargo.into());
|
builder.run(&mut cargo.into());
|
||||||
|
} else {
|
||||||
|
// Allow out-of-tree docs to fail (since the tool might be in a broken state).
|
||||||
|
if !builder.try_run(&mut cargo.into()) {
|
||||||
|
builder.info(&format!(
|
||||||
|
"WARNING: tool {} failed to document; ignoring failure because it is an out-of-tree tool",
|
||||||
|
stringify!($tool).to_lowercase(),
|
||||||
|
));
|
||||||
|
}
|
||||||
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
tool_doc!(Rustdoc, "rustdoc-tool", "src/tools/rustdoc", ["rustdoc", "rustdoc-json-types"]);
|
tool_doc!(
|
||||||
|
Rustdoc,
|
||||||
|
"rustdoc-tool",
|
||||||
|
"src/tools/rustdoc",
|
||||||
|
["rustdoc", "rustdoc-json-types"],
|
||||||
|
in_tree = true
|
||||||
|
);
|
||||||
tool_doc!(
|
tool_doc!(
|
||||||
Rustfmt,
|
Rustfmt,
|
||||||
"rustfmt-nightly",
|
"rustfmt-nightly",
|
||||||
"src/tools/rustfmt",
|
"src/tools/rustfmt",
|
||||||
["rustfmt-nightly", "rustfmt-config_proc_macro"],
|
["rustfmt-nightly", "rustfmt-config_proc_macro"],
|
||||||
|
in_tree = true
|
||||||
);
|
);
|
||||||
tool_doc!(Clippy, "clippy", "src/tools/clippy", ["clippy_utils"]);
|
tool_doc!(Clippy, "clippy", "src/tools/clippy", ["clippy_utils"], in_tree = true);
|
||||||
|
tool_doc!(Miri, "miri", "src/tools/miri", ["miri"], in_tree = false);
|
||||||
|
|
||||||
#[derive(Ord, PartialOrd, Debug, Copy, Clone, Hash, PartialEq, Eq)]
|
#[derive(Ord, PartialOrd, Debug, Copy, Clone, Hash, PartialEq, Eq)]
|
||||||
pub struct ErrorIndex {
|
pub struct ErrorIndex {
|
||||||
|
Loading…
x
Reference in New Issue
Block a user