Stream: general

Topic: rustup component add miri failing


timotree (Mar 30 2019 at 20:22, on Zulip):

On the README for miri it says to install using rustup component add miri. I tried this command with the latest nightly toolchain (1.35.0-nightly (e782d790f 2019-03-29)) as well as the latest stable and in both I get the error:

error: component 'miri' for target 'x86_64-unknown-linux-gnu' is unavailable for download for channel '<nightly|stable>'

Is the instruction in the README out of date?

centril (Mar 30 2019 at 21:18, on Zulip):

@timotree rustup component add miri-preview

timotree (Mar 30 2019 at 21:20, on Zulip):

Hmmm. That doesn't work either. @centril

$ rustup component add --toolchain nightly miri-preview
error: component 'miri' for target 'x86_64-unknown-linux-gnu' is unavailable for download for channel 'nightly'
$ rustup component add --toolchain stable miri-preview
error: toolchain 'stable-x86_64-unknown-linux-gnu' does not contain component 'miri-preview' for target 'x86_64-unknown-linux-gnu'
centril (Mar 30 2019 at 21:21, on Zulip):

@timotree well miri is broken in the toolstate, https://rust-lang-nursery.github.io/rust-toolstate/

timotree (Mar 30 2019 at 21:39, on Zulip):

@centril okay, thanks for the response! I'll make a PR to miri that updates the readme to suggest the old approach if miri is broken in the toolstate

Jake Goulding (Mar 31 2019 at 14:28, on Zulip):

if miri is broken

That might actually mean that you can't build that version of Miri with that version of Rust, due to breaking API changes

Winton Mejia (Apr 01 2019 at 06:09, on Zulip):

.

Last update: Nov 22 2019 at 00:40UTC