From 9ee3a4041eca0cfca015b82143b44b2f0d3b4a69 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mateusz=20Miku=C5=82a?= Date: Fri, 22 Mar 2019 12:39:59 +0100 Subject: [PATCH] Rename miri component to miri-preview It should fix installation via rustup and indicates it's not stable yet --- src/tools/build-manifest/src/main.rs | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/tools/build-manifest/src/main.rs b/src/tools/build-manifest/src/main.rs index 706fce262f0e4..3c360a81ba5be 100644 --- a/src/tools/build-manifest/src/main.rs +++ b/src/tools/build-manifest/src/main.rs @@ -390,7 +390,7 @@ impl Builder { package("rust-src", &["*"]); package("rls-preview", HOSTS); package("clippy-preview", HOSTS); - package("miri", HOSTS); + package("miri-preview", HOSTS); package("rustfmt-preview", HOSTS); package("rust-analysis", TARGETS); package("llvm-tools-preview", TARGETS); @@ -408,7 +408,7 @@ impl Builder { "rustc", "cargo", "rust-std", "rust-mingw", "rust-docs", "rustfmt-preview", "clippy-preview", "rls-preview", "rust-src", "llvm-tools-preview", - "lldb-preview", "rust-analysis", "miri" + "lldb-preview", "rust-analysis", "miri-preview" ]); } @@ -420,6 +420,7 @@ impl Builder { rename("rls", "rls-preview"); rename("rustfmt", "rustfmt-preview"); rename("clippy", "clippy-preview"); + rename("miri", "miri-preview"); } fn rust_package(&mut self, manifest: &Manifest) -> Package { @@ -468,7 +469,7 @@ impl Builder { // but might be marked as unavailable if they weren't built. extensions.extend(vec![ host_component("clippy-preview"), - host_component("miri"), + host_component("miri-preview"), host_component("rls-preview"), host_component("rustfmt-preview"), host_component("llvm-tools-preview"),