Skip to content

Commit e2de0b2

Browse files
authored
Merge pull request rust-lang#294 from oli-obk/cargo_miri
Make cargo_miri a feature
2 parents a6096fb + 7e6c497 commit e2de0b2

File tree

2 files changed

+7
-3
lines changed

2 files changed

+7
-3
lines changed

.travis.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -15,9 +15,9 @@ script:
1515
xargo/build.sh
1616
- |
1717
# Test plain miri
18-
cargo build --release &&
18+
cargo build --release --features "cargo_miri" &&
1919
cargo test --release &&
20-
cargo install
20+
cargo install --features "cargo_miri"
2121
- |
2222
# Test cargo miri
2323
cd cargo-miri-test &&

Cargo.toml

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,6 +18,7 @@ doc = false
1818
name = "cargo-miri"
1919
test = false
2020
path = "miri/bin/cargo-miri.rs"
21+
required-features = ["cargo_miri"]
2122

2223
[lib]
2324
test = false
@@ -28,9 +29,12 @@ byteorder = { version = "1.1", features = ["i128"]}
2829
env_logger = "0.4.3"
2930
log = "0.3.6"
3031
log_settings = "0.1.1"
31-
cargo_metadata = "0.2"
32+
cargo_metadata = { version = "0.2", optional = true }
3233
rustc_miri = { path = "src/librustc_mir" }
3334

35+
[features]
36+
cargo_miri = ["cargo_metadata"]
37+
3438
[dev-dependencies]
3539
compiletest_rs = "0.2.6"
3640

0 commit comments

Comments
 (0)