Skip to content

Commit 97ed76b

Browse files
committed
redo ./run-test.sh based on MIRI_REPLACE_LIBRS_IF_NOT_TEST
1 parent a0937b2 commit 97ed76b

File tree

24 files changed

+64
-203
lines changed

24 files changed

+64
-203
lines changed

Cargo.toml

Lines changed: 14 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,22 @@
1+
# We set up our own workspace that contains the library crates.
2+
# `./run-test.sh` makes the `library` folder a symlink to the right place.
3+
# (Somehow, directly building things from `rustlib/src` does not work...)
14
[workspace]
25
members = [
3-
"core_miri_test",
4-
"alloc_miri_test",
5-
"std_miri_test",
6+
"library/std",
7+
"library/sysroot",
68
]
79

810
exclude = [
911
# stdarch has its own Cargo workspace
1012
"library/stdarch",
11-
"rust-src-patched/library/stdarch",
13+
# this is just a staging ground for CI
14+
"rust-src-patched",
1215
]
16+
17+
[patch.crates-io]
18+
# See comments in `library/rustc-std-workspace-core/README.md` for what's going on
19+
# here
20+
rustc-std-workspace-core = { path = 'library/rustc-std-workspace-core' }
21+
rustc-std-workspace-alloc = { path = 'library/rustc-std-workspace-alloc' }
22+
rustc-std-workspace-std = { path = 'library/rustc-std-workspace-std' }

alloc_miri_test/Cargo.toml

Lines changed: 0 additions & 29 deletions
This file was deleted.

ci-test.sh

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -85,9 +85,10 @@ std)
8585
echo "::endgroup::"
8686
;;
8787
simd)
88-
cd $MIRI_LIB_SRC/portable-simd
88+
export CARGO_TARGET_DIR=$(pwd)/target
8989
export RUSTFLAGS="-Ainternal_features ${RUSTFLAGS:-}"
9090
export RUSTDOCFLAGS="-Ainternal_features ${RUSTDOCFLAGS:-}"
91+
cd $MIRI_LIB_SRC/portable-simd
9192

9293
echo "::group::Testing portable-simd"
9394
MIRIFLAGS="$DEFAULTFLAGS" \

core_miri_test/Cargo.toml

Lines changed: 0 additions & 31 deletions
This file was deleted.

fake/README.md

Lines changed: 0 additions & 2 deletions
This file was deleted.

fake/alloc/Cargo.toml

Lines changed: 0 additions & 7 deletions
This file was deleted.

fake/alloc/lib.rs

Lines changed: 0 additions & 9 deletions
This file was deleted.

fake/cfg-if/Cargo.toml

Lines changed: 0 additions & 7 deletions
This file was deleted.

fake/cfg-if/lib.rs

Lines changed: 0 additions & 3 deletions
This file was deleted.

fake/core/Cargo.toml

Lines changed: 0 additions & 7 deletions
This file was deleted.

0 commit comments

Comments
 (0)