From a20719cec68a7c1babcbe4ccee2633c1ffc89aed Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sat, 20 Apr 2019 18:36:43 +0200 Subject: [PATCH] add section on the no MIR error --- README.md | 7 +++++++ 1 file changed, 7 insertions(+) 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 -- 2.44.0