From: Ralf Jung Date: Sat, 20 Apr 2019 16:36:43 +0000 (+0200) Subject: add section on the no MIR error X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=a20719cec68a7c1babcbe4ccee2633c1ffc89aed;p=rust.git add section on the no MIR error --- diff --git a/README.md b/README.md index eb86d5b2ee3..64bf361d54b 100644 --- a/README.md +++ b/README.md @@ -105,6 +105,13 @@ You may be running `cargo miri` with a different compiler version than the one used to build the custom libstd that Miri uses, and Miri failed to detect that. Try deleting `~/.cache/miri`. +#### "no mir for `std::rt::lang_start_internal`" + +This means the sysroot you are using was not compiled with Miri in mind. This +should never happen when you use `cargo miri` because that takes care of setting +up the sysroot. If you are using `miri` (the Miri driver) directly, see +[below][testing-miri] for how to set up the sysroot. + ## Development and Debugging If you want to hack on miri yourself, great! Here are some resources you might