-
Notifications
You must be signed in to change notification settings - Fork 892
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Miri should be presented as miri-preview until it's stable #1728
Comments
I wanted to go |
@mati865 I think it's totally fine that it can be named either way. I just want the canonical name to be |
My PR was a bit overkill and would not mind reverting |
It's fine, we merged miri support in #1606 but I can easily change it over to default to |
I'm curious, what's the change? Looking at #1606, I tried: - "cargo-miri" => Some("miri"),
+ "cargo-miri" => Some("miri-preview"), but AFAICS that only affects the
Can we try to get it before this reaches stable? Rust 1.35 will be on 2019-05-23. |
Also, I'm trusting your judgement whether this needs a change in rustup or build-manifest, maybe both. |
Definitely https://github.com/rust-lang/rust/pull/59236/files#diff-2ca914af4ccadf4a4cafbf6a7bc13dcdR423 has to go away if we want If @RalfJung agrees to move it back to |
As I said originally, I was thinking we might just keep the rename, but flipped. So it would still work to ask for either |
I'm ready to give this a go (and PR the recommendation change from miri to miri-preview) if someone can tell me if the manifests are updated on nightly so that I can give it a go to check it's all good. |
I tried actually using miri with beta, and found that it doesn't work at all, because xargo errors out when it sees the stable or beta channel. I opened rust-lang/rust#59544 to only let miri into the manifest on nightly. I looked some more at flipping the package name and rename, but I'm not very confident that this will actually work. It looks to me like it's actually important for upgrade paths that the |
OK, in that case are we going to close this off, or do you still want some rustup changes? |
I think we can leave it alone for now, thanks! |
Describe the problem you are trying to solve
We would like the miri component to be presented as "miri-preview" until it has been deemed stable.
Describe the solution you'd like
Any advice on how to accomplish this would be fine. 😄
Notes
The component was renamed to
miri-preview
in rust-lang/rust#59236, so the currentchannel-rust-nightly.toml
describes miri like this:As a result, you can use either
rustup component add miri
ormiri-preview
. This is fine, but the displayed "info" always calls it justmiri
, as doesrustup component list
. We ought to still present this asmiri-preview
until the tool is actually deemed stable.I found that the other tools like
rustfmt
, which are stable, are defined the same way, with[pkg.rustfmt-preview]
and[renames.rustfmt] to = "rustfmt-preview"
. We should continue to use the non-preview name for presenting these stable tools, which is why I think we may need some enhancement for miri's case, without affecting existing tool manifests.Maybe we could just "flip" miri for now, defining
[pkg.miri]
and then rename the other way[renames.miri-preview] to = "miri"
. That feels like a backwards kludge, but I guess we wouldn't need rustup changes then.cc @rust-lang/release @RalfJung @oli-obk @mati865
The text was updated successfully, but these errors were encountered: