Merge pull request #478 from RalfJung/rustc-tests

make rustc-tests a binary in the main project

Author: RalfJung

.travis.yml

@@ -39,11 +39,6 @@ script:
   cargo build --release --all-features &&
   cargo test --release --all-features &&
   cargo install --all-features --force --path .
-- |
-  # test that the rustc_tests binary compiles
-  cd rustc_tests &&
-  cargo build --release &&
-  cd ..
 - |
   # get ourselves a MIR-full libstd
   xargo/build.sh &&

Cargo.toml

@@ -25,6 +25,12 @@ test = false # we have no unit tests
 doctest = false # and no doc tests
 required-features = ["cargo_miri"]
 
+[[bin]]
+name = "miri-rustc-tests"
+test = false # we have no unit tests
+doctest = false # and no doc tests
+required-features = ["rustc_tests"]
+
 [dependencies]
 byteorder = { version = "1.1", features = ["i128"]}
 cargo_metadata = { version = "0.6", optional = true }
@@ -36,6 +42,7 @@ vergen = "3"
 
 [features]
 cargo_miri = ["cargo_metadata"]
+rustc_tests = []
 
 [dev-dependencies]
 compiletest_rs = { version = "0.3.12", features = ["tmp"] }