Skip to content

Allow running as cargo-mutest & cargo mutest#9

Closed
seam345 wants to merge 1 commit into
zalanlevai:mainfrom
seam345:sean/run_without_cargo
Closed

Allow running as cargo-mutest & cargo mutest#9
seam345 wants to merge 1 commit into
zalanlevai:mainfrom
seam345:sean/run_without_cargo

Conversation

@seam345

@seam345 seam345 commented Jul 5, 2026

Copy link
Copy Markdown

@seam345
seam345 force-pushed the sean/run_without_cargo branch from 4287d8f to 3a10b5a Compare July 5, 2026 09:00
@seam345 seam345 changed the title Allow running as cargo-mutest & cargo mutest Allow running as cargo-mutest & cargo mutest Jul 6, 2026
@zalanlevai

Copy link
Copy Markdown
Owner

Thank you for this! I have been meaning to make this change for a while and had done it not long ago in #7 (specifically commit 9194559 for the standalone invocation of cargo-mutest). Could you please take a look at this and see if it serves the same purpose as this PR? #7 also made changes that make standalone invocations of mutest-driver much easier, although the right toolchain version still needs to be set up (i.e., rustup run nightly-2025-11-26 mutest-driver --help), otherwise mutest-driver fails to load with dynamic linker errors on rustc-driver.

Are there any remaining outstanding changes that would make Nix compatibility easier?

@zalanlevai

Copy link
Copy Markdown
Owner

RE #7: Do note that it makes some relatively significant changes to the user-facing CLI, but not in a way that should make a big difference to Nix compatibility.

@seam345

seam345 commented Jul 7, 2026

Copy link
Copy Markdown
Author

Oh I was wondering if you was going to make the change in #7 but didn't see it in the write-up, was originally just going to make an issue but when I saw how cargo insta did it i thought it was better to just whip up a PR :)

Anyway yep updated hash and it works in my nix build \o/ tbh I think it's more a thing I wanted than nix wants

@seam345 seam345 closed this Jul 7, 2026
@seam345 seam345 mentioned this pull request Jul 7, 2026
5 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants