Status of rustc_tools_util?

[RalfJung]

vergen is causing some licensing pain in Miri, so I checked what clippy does to determine the git commit for version information. Looks like clippy has an in-tree crate rustc_tools_util for that. An old version of that crate exists on crates.io but clippy uses a path dependency of a more up-to-date version of that crate.

Would it make sense for clippy and Miri to share that crate? clippy should then probably fetch the dependency from crates.io rather than using a path dependency, so that the dependency is actually shared in the rustc workspace.

[matthiaskrgr]

I could do another clippy repo -> cratess.io sync (aka release) and we could switch clippy to also use the crates-io version while keeping the source in tree, I guess?

[RalfJung]

Yeah I think that would be good. :)