Stream: general

Topic: Does Miri know about rustup's toolchains when installing?


Jake Goulding (Aug 05 2019 at 18:52, on Zulip):
cargo +nightly-2019-08-01 miri --bin hash_file src/lib.rs
It seems you do not have the rust-src component installed. I will run `rustup component add rust-src`. Proceed? [Y/n]

Would it have installed the component in the right toolchain for me?

RalfJ (Aug 05 2019 at 20:05, on Zulip):

hm, good question

RalfJ (Aug 05 2019 at 20:05, on Zulip):

is this a rustup-installed Miri or a self-compiled one?

RalfJ (Aug 05 2019 at 20:06, on Zulip):

I think this depends on whether rustup sets the right env vars for itself. not sure if Miri would even have a good way to do something about that.

RalfJ (Aug 05 2019 at 20:06, on Zulip):

do you want to open an issue about this?

Jake Goulding (Aug 05 2019 at 23:46, on Zulip):

Sure; in Miri?

RalfJ (Aug 06 2019 at 07:48, on Zulip):

yes

Jake Goulding (Aug 07 2019 at 13:19, on Zulip):

For those following along at home, it turns out that rustup / miri would have done the right thing, and RalfJ has updated Miri to indicate that. :tada:

Last update: Nov 22 2019 at 00:25UTC