Skip to content

Commit c1ee928

Browse files
committed
Prep miri repository for rustc merger
1 parent f02d9e6 commit c1ee928

19 files changed

+18
-10
lines changed

.travis.yml

+4-3
Original file line numberDiff line numberDiff line change
@@ -15,9 +15,10 @@ script:
1515
xargo/build.sh
1616
- |
1717
# Test plain miri
18-
cargo build &&
18+
cd src/librustc_mir/ && cargo build &&
1919
cargo test &&
20-
cargo install
20+
cargo install &&
21+
cd ../..
2122
- |
2223
# Test cargo miri
2324
cd cargo-miri-test &&
@@ -26,7 +27,7 @@ script:
2627
cd ..
2728
- |
2829
# and run all tests with full mir
29-
MIRI_SYSROOT=~/.xargo/HOST cargo test
30+
cd src/librustc_mir/ && MIRI_SYSROOT=~/.xargo/HOST cargo test && cd ../..
3031
notifications:
3132
email:
3233
on_success: never

Cargo.toml renamed to src/librustc_mir/Cargo.toml

+7
Original file line numberDiff line numberDiff line change
@@ -9,15 +9,22 @@ version = "0.1.0"
99
[[bin]]
1010
doc = false
1111
name = "miri"
12+
path = "miri/bin/miri.rs"
1213
test = false
1314

1415
[[bin]]
1516
doc = false
1617
name = "cargo-miri"
18+
path = "miri/bin/cargo-miri.rs"
1719
test = false
1820

1921
[lib]
2022
test = false
23+
path = "miri/mod.rs"
24+
25+
[[test]]
26+
name = "compiletest"
27+
path = "../../tests/compiletest.rs"
2128

2229
[dependencies]
2330
#byteorder = "0.4.2"
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.

tests/compiletest.rs

+7-7
Original file line numberDiff line numberDiff line change
@@ -48,7 +48,7 @@ fn miri_pass(path: &str, target: &str, host: &str, fullmir: bool) {
4848
config.src_base = PathBuf::from(path);
4949
config.target = target.to_owned();
5050
config.host = host.to_owned();
51-
config.rustc_path = PathBuf::from("target/debug/miri");
51+
config.rustc_path = "target/debug/miri".into();
5252
if fullmir {
5353
if host != target {
5454
// skip fullmir on nonhost
@@ -216,14 +216,14 @@ fn compile_test() {
216216

217217
panic!("ran miri on rustc test suite. Test failing for convenience");
218218
} else {
219-
run_pass("tests/run-pass");
220-
run_pass("tests/run-pass-fullmir");
219+
run_pass("../../tests/run-pass");
220+
run_pass("../../tests/run-pass-fullmir");
221221
for_all_targets(sysroot, |target| {
222-
miri_pass("tests/run-pass", &target, host, false);
223-
compile_fail(sysroot, "tests/compile-fail", &target, host, false);
222+
miri_pass("../../tests/run-pass", &target, host, false);
223+
compile_fail(sysroot, "../../tests/compile-fail", &target, host, false);
224224
});
225-
miri_pass("tests/run-pass-fullmir", host, host, true);
226-
compile_fail(sysroot, "tests/compile-fail-fullmir", host, host, true);
225+
miri_pass("../../tests/run-pass-fullmir", host, host, true);
226+
compile_fail(sysroot, "../../tests/compile-fail-fullmir", host, host, true);
227227
}
228228
}
229229

0 commit comments

Comments
 (0)