Skip to content

Commit 6143ef0

Browse files
authored
Merge pull request #258 from oli-obk/upstream
Prep miri repository for rustc merger
2 parents b4e300d + 4cfa7c5 commit 6143ef0

19 files changed

+19
-12
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

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

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

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

2229
[dependencies]
23-
#byteorder = "0.4.2"
24-
byteorder = { git = "https://github.com/BurntSushi/byteorder", features = ["i128"]}
30+
byteorder = { version = "1.1", features = ["i128"]}
2531
env_logger = "0.3.3"
2632
log = "0.3.6"
2733
log_settings = "0.1.1"
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
@@ -56,7 +56,7 @@ fn miri_pass(path: &str, target: &str, host: &str, fullmir: bool, opt: bool) {
5656
config.src_base = PathBuf::from(path);
5757
config.target = target.to_owned();
5858
config.host = host.to_owned();
59-
config.rustc_path = PathBuf::from("target/debug/miri");
59+
config.rustc_path = "target/debug/miri".into();
6060
let mut flags = Vec::new();
6161
if fullmir {
6262
if host != target {
@@ -130,16 +130,16 @@ fn run_pass_miri() {
130130

131131
for &opt in [false, true].iter() {
132132
for_all_targets(&sysroot, |target| {
133-
miri_pass("tests/run-pass", &target, &host, false, opt);
133+
miri_pass("../../tests/run-pass", &target, &host, false, opt);
134134
});
135-
miri_pass("tests/run-pass-fullmir", &host, &host, true, opt);
135+
miri_pass("../../tests/run-pass-fullmir", &host, &host, true, opt);
136136
}
137137
}
138138

139139
#[test]
140140
fn run_pass_rustc() {
141-
run_pass("tests/run-pass");
142-
run_pass("tests/run-pass-fullmir");
141+
run_pass("../../tests/run-pass");
142+
run_pass("../../tests/run-pass-fullmir");
143143
}
144144

145145
#[test]
@@ -148,7 +148,7 @@ fn compile_fail_miri() {
148148
let host = get_host();
149149

150150
for_all_targets(&sysroot, |target| {
151-
compile_fail(&sysroot, "tests/compile-fail", &target, &host, false);
151+
compile_fail(&sysroot, "../../tests/compile-fail", &target, &host, false);
152152
});
153-
compile_fail(&sysroot, "tests/compile-fail-fullmir", &host, &host, true);
153+
compile_fail(&sysroot, "../../tests/compile-fail-fullmir", &host, &host, true);
154154
}

0 commit comments

Comments
 (0)