--elf-name is ignored when --output-directory is missing

[srdtrk]

Component

cargo prove CLI/sp1up

Have you ensured that all of these are up to date?

• SP1 SDK
• cargo prove CLI/sp1up

What version of SP1 SDK are you on?

No response

What version of the cargo prove CLI are you on?

4a1dcea 2025-01-15T23:21:07.590940000Z

Operating System

None

Describe the bug

cargo prove build accepts --elf-name and --output-directory arguments. If --elf-name is present while the --output-directory is not, then the --elf-name is fully ignored and the binary is generated in the target/ directory with the default name. The user also receives this warning.

The warning doesn't make it clear that --elf-name is ignored. Moreover, in a different but similar scenario, cargo-prove simply returns an error when --elf-name would be ignored. I believe that in this scenario, cargo-prove should simply return an error, or use the --elf-name.