Merge branch 'master' into oli-obk-patch-2

This commit is contained in:
Oliver Schneider 2017-08-09 21:35:51 +02:00 committed by GitHub
commit e71af86259
2 changed files with 7 additions and 3 deletions

View File

@ -15,9 +15,9 @@ script:
xargo/build.sh
- |
# Test plain miri
cargo build --release &&
cargo build --release --features "cargo_miri" &&
cargo test --release &&
cargo install
cargo install --features "cargo_miri"
- |
# Test cargo miri
cd cargo-miri-test &&

View File

@ -18,6 +18,7 @@ doc = false
name = "cargo-miri"
test = false
path = "miri/bin/cargo-miri.rs"
required-features = ["cargo_miri"]
[lib]
test = false
@ -28,9 +29,12 @@ byteorder = { version = "1.1", features = ["i128"]}
env_logger = "0.4.3"
log = "0.3.6"
log_settings = "0.1.1"
cargo_metadata = "0.2"
cargo_metadata = { version = "0.2", optional = true }
rustc_miri = { path = "src/librustc_mir" }
[features]
cargo_miri = ["cargo_metadata"]
[dev-dependencies]
compiletest_rs = "0.2.6"