librustc_driver not found when running tests

[maximebuyse]

When I run cargo test --test toolchain I get the following error:

/home/maxime/cryspen/hax/target/debug/cargo-hax: error while loading shared libraries: librustc_driver-f4e5b0d07cf2a17f.so: cannot open shared object file: No such file or directory

Building hax first and then running CARGO_TESTS_ASSUME_BUILT=y cargo test --test toolchain -- let-else works as a workaround.

[franziskuskiefer]

So this is a regression from #743? @W95Psp why aren't there tests catching something like this?

[W95Psp]

I don't know whether that's a regression from #743. I suspect that's a brittle bug that depends on setup. The CI uses this test harness with no problem, @maximebuyse and I need to investigate.

[github-actions[bot]]

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

[W95Psp]

No one stumbled upon this issue again, it seems, let's close.