no-install-miri.patch

   1 --- rustc-1.66.0-src/src/bootstrap/install.rs.orig      2022-12-12 17:02:12.000000000 +0100
   2 +++ rustc-1.66.0-src/src/bootstrap/install.rs   2022-12-18 00:01:24.076587533 +0100
   3 @@ -130,7 +130,7 @@
   4          impl $name {
   5              #[allow(dead_code)]
   6              fn should_build(config: &Config) -> bool {
   7 -                config.extended && config.tools.as_ref()
   8 +                $path_or_alias != "miri" && config.extended && config.tools.as_ref()
   9                      .map_or(true, |t| t.contains($path_or_alias))
  10              }
  11          }