Rollup merge of #143848 - makai410:smir-rename, r=oli-obk
Rename `stable_mir` and `rustc_smir` This PR only renames the two crate names. There is no doubt that we want to rename `stable_mir` to `rustc_public`, while it hasn't been discussed yet that what the new name for `rustc_smir` should be. This PR proposes a new name for `rustc_smir`, that is `rustc_public_shim`, since `rustc_smir` now is mostly a proxy to do calls to rustc queries and the public API of rustc that is invoked by the `rustc_public` crate. However, I don't think that name is good enough. I hope there would be a way better name. r? `@oli-obk`
This commit is contained in:
commit
c59bc44ca9
70 changed files with 277 additions and 267 deletions
|
|
@ -2400,10 +2400,10 @@ pub fn run_cargo(
|
|||
keep = true;
|
||||
} else if rlib_only_metadata {
|
||||
if filename.contains("jemalloc_sys")
|
||||
|| filename.contains("rustc_smir")
|
||||
|| filename.contains("stable_mir")
|
||||
|| filename.contains("rustc_public_bridge")
|
||||
|| filename.contains("rustc_public")
|
||||
{
|
||||
// jemalloc_sys and rustc_smir are not linked into librustc_driver.so,
|
||||
// jemalloc_sys and rustc_public_bridge are not linked into librustc_driver.so,
|
||||
// so we need to distribute them as rlib to be able to use them.
|
||||
keep |= filename.ends_with(".rlib");
|
||||
} else {
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue