Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update to Rust Nightly 2016-04-11 #2

Merged
merged 2 commits into from
Apr 14, 2016
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
21 changes: 14 additions & 7 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -10,26 +10,32 @@ I currently recommend that you install [multirust][multirust] and then use it to
install the current rustc nightly version that works with Miri:

```sh
multirust update nightly-2016-04-05
multirust update nightly-2016-04-11
```

## Build

```sh
multirust run nightly-2016-04-05 cargo build
multirust run nightly-2016-04-11 cargo build
```

## Run a test

```sh
multirust run nightly-2016-04-05 cargo run -- \
--sysroot $HOME/.multirust/toolchains/nightly-2016-04-05 \
multirust run nightly-2016-04-11 cargo run -- \
--sysroot $HOME/.multirust/toolchains/nightly-2016-04-11 \
test/filename.rs
```

If you installed without using multirust, you'll need to adjust the command to
run your cargo and set the `sysroot` to the directory where your rust compiler
is installed (`$sysroot/bin/rustc` should be a valid path).
If you are using [rustup][rustup] (the name of the multirust rewrite in Rust),
the `sysroot` path will also include your build target (e.g.
`$HOME/.multirust/toolchains/nightly-2016-04-11-x86_64-apple-darwin`). You can
see the current toolchain's directory by running `rustup which cargo` (ignoring
the trailing `/bin/cargo).

If you installed without using multirust or rustup, you'll need to adjust the
command to run your cargo and set the `sysroot` to the directory where your
Rust compiler is installed (`$sysroot/bin/rustc` should be a valid path).

## License

Expand All @@ -49,3 +55,4 @@ additional terms or conditions.
[mir]: https://github.com/rust-lang/rfcs/blob/master/text/1211-mir.md
[usask]: https://www.usask.ca/
[multirust]: https://github.com/brson/multirust
[rustup]: https://www.rustup.rs
2 changes: 1 addition & 1 deletion src/interpreter.rs
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
use arena::TypedArena;
use rustc::infer;
use rustc::middle::const_val;
use rustc::middle::def_id::DefId;
use rustc::hir::def_id::DefId;
use rustc::mir::mir_map::MirMap;
use rustc::mir::repr as mir;
use rustc::traits::{self, ProjectionMode};
Expand Down