Skip to content

Installing locally built miri toolchain breaks rustup miri? #2633

Closed
@cbiffle

Description

@cbiffle

I'm quite confused here, so it's possible that this is not a Miri bug, but:

I built Miri locally to work on features a couple weeks back, and now cargo +nightly-whatever miri doesn't appear to work anymore. Because I needed the cargo wrapper (miri test doesn't behave exactly the same way), I did ./miri install.

Now when I try cargo +nightly miri test or equivalent, I get:

thread 'main' panicked at 'failed to determine underlying rustc version of Miri: CommandError { stdout: "", stderr: "fatal error: This Miri got built with local toolchain `miri`, but now is being run under a different toolchain. \nMake sure to run Miri in the toolchain it got built with, e.g. via `cargo +miri miri`.\n" }', src/phases.rs:91:10
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

I've tried ./miri uninstall, which doesn't seem to exist. I've tried removing the files that I assume are responsible in ~/.cargo/bin and re-running rustup component add miri, but curiously the files are not recreated and cargo miri remains an unrecognized subcommand.

Halp?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions