Miri does not support target x86_64-unknown-uefi

[jyn514]

I am not quite sure what's going on here, but @oli-obk thinks it's a bug in miri itself, unrelated to cargo or the standard library.

$ env MIRI_NO_STD=1 cargo miri test --target=x86_64-unknown-uefi
fatal error: file "/home/jyn/.local/lib/cargo/target/miri/x86_64-unknown-uefi/debug/deps/example-d7b0fa77a56c0a56.efi" not found or `cargo-miri` invoked incorrectly; please only invoke this binary through `cargo miri`
error: test failed, to rerun pass `--lib`

Caused by:
  process didn't exit successfully: `/home/jyn/.local/lib/rustup/toolchains/nightly-x86_64-unknown-linux-gnu/bin/cargo-miri runner /home/jyn/.local/lib/cargo/target/miri/x86_64-unknown-uefi/debug/deps/example-d7b0fa77a56c0a56.efi --quiet` (exit status: 1)

[jyn514]

The source code for this is https://stackoverflow.com/questions/68455964/how-can-i-execute-tests-in-a-crate-that-gets-developed-for-a-non-default-target (with the failing import removed)

[bjorn3]

This will need to be extended to include elf I think:

miri/cargo-miri/src/phases.rs

Lines 284 to 287 in 4f051a6

	// For Windows and WASM, do the same thing again with `.exe`/`.wasm` appended to the filename.
	// (Need to do this here as cargo moves that "binary" to a different place before running it.)
	info.store(&out_filename("", ".exe"));
	info.store(&out_filename("", ".wasm"));

[RalfJung]

Yeah Miri simply does not support this target currently.

Is there a way cargo-miri can figure out the binary file name extension for a target, without us having to maintain a list of all of them?

[jyn514]

I am confused why miri needs to know the extension in the first place? Does cargo not pass the output file name to you?

[bjorn3]

Is there a way cargo-miri can figure out the binary file name extension for a target, without us having to maintain a list of all of them?

echo | rustc --print file-names --crate-type bin --target ... --crate-name ____ - is what cargo uses.

[RalfJung]

Does cargo not pass the output file name to you?

Nope.

echo | rustc --print file-names --crate-type bin --target ... --crate-name ____ - is what cargo uses.

Ah, that should work for Miri as well then.