After #5101 was mostly fixed by rust-lang/cargo#17123 I discovered that cross-compilation is still problematic.
Reproduction is the same repo: https://github.com/nazar-pc/miri-5101-reproduction
nazar-pc@nazar-pc:/w/g/miri-5101-reproduction> RUSTFLAGS="-Znext-solver=globally" MIRIFLAGS="-Znext-solver=globally" cargo miri test -Ztarget-applies-to-host -Zhost-config --config 'host.rustflags=["-Znext-solver=globally"]' --lib -Zjson-target-spec --target riscv64a23-unknown-linux-gnu
Finished `test` profile [unoptimized + debuginfo] target(s) in 0.00s
Running unittests src/lib.rs (/home/nazar-pc/.cache/cargo/target/miri/debug/deps/repro_proc_macro-c89753020fd7ddbf)
error: test failed, to rerun pass `-p repro-proc-macro --lib`
Caused by:
could not execute process `/home/nazar-pc/.cache/cargo/target/miri/debug/deps/repro_proc_macro-c89753020fd7ddbf` (never executed)
Caused by:
Permission denied (os error 13)
Exit code 101
nazar-pc@nazar-pc:/w/g/miri-5101-reproduction> cat /home/nazar-pc/.cache/cargo/target/miri/debug/deps/repro_proc_macro-c89753020fd7ddbf
"SkipProcMacroTest"
I'm not sure if it is Miri or Cargo to blame here, but something is definitely off.
After #5101 was mostly fixed by rust-lang/cargo#17123 I discovered that cross-compilation is still problematic.
Reproduction is the same repo: https://github.com/nazar-pc/miri-5101-reproduction
I'm not sure if it is Miri or Cargo to blame here, but something is definitely off.