Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

cargo-kani setup support for NixOs #1179

Closed
tedinski opened this issue May 9, 2022 · 0 comments · Fixed by #1298
Closed

cargo-kani setup support for NixOs #1179

tedinski opened this issue May 9, 2022 · 0 comments · Fixed by #1298
Assignees
@tedinski
Labels
[C] Feature / Enhancement A new feature request or enhancement to an existing feature.

Comments

@tedinski
Copy link
Contributor

tedinski commented May 9, 2022

A customer on NixOS reports the following command will make Kani releases work:

patchelf --set-interpreter "$(cat $NIX_CC/nix-support/dynamic-linker)" ~/.kani/kani-0.1.0/bin/*
  1. Find a reliable/correct way to detect NixOS.
  2. Ensure the above command is the best option for doing this.
  3. Add this to cargo-kani setup so it happens automatically on that platform.
@tedinski tedinski added the [C] Feature / Enhancement A new feature request or enhancement to an existing feature. label May 9, 2022
@tedinski tedinski self-assigned this May 23, 2022
@tedinski tedinski moved this to Todo in Kani v0.3 May 31, 2022
@tedinski tedinski mentioned this issue Jun 22, 2022
Merged
4 tasks
Repository owner moved this from Todo to Done in Kani v0.3 Jun 24, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@tedinski tedinski

Labels
[C] Feature / Enhancement A new feature request or enhancement to an existing feature.
Projects
No open projects
Kani v0.3
Status: Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add support for installing on NixOS tedinski/rmc
1 participant
@tedinski