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

Setup fails in Linux ARM64 platforms #2863

Closed
adpaco-aws opened this issue Nov 7, 2023 · 1 comment · Fixed by #2864
Closed

Setup fails in Linux ARM64 platforms #2863

adpaco-aws opened this issue Nov 7, 2023 · 1 comment · Fixed by #2864
Assignees
@adpaco-aws
Labels
[C] Bug This is a bug. Something isn't working.

Comments

@adpaco-aws
Copy link
Contributor

cargo kani setup fails to download the bundle for the aarch64-unknown-linux-gnu platform.

[0/5] Running Kani first-time setup...
[1/5] Ensuring the existence of: /home/accorell/.kani/kani-0.40.0
[2/5] Downloading Kani release bundle: kani-0.40.0-aarch64-unknown-linux-gnu.tar.gz
Error: Kani does not support this platform (Rust target aarch64-unknown-linux-gnu)

with Kani version: 0.40.0

The problem is that the setup program contains a platform check that which hasn't been updated.
@adpaco-aws adpaco-aws added the [C] Bug This is a bug. Something isn't working. label Nov 7, 2023
@adpaco-aws adpaco-aws self-assigned this Nov 7, 2023
@adpaco-aws adpaco-aws mentioned this issue Nov 7, 2023
Merged
@adpaco-aws
Copy link
Contributor Author

adpaco-aws commented Nov 7, 2023 •
edited
Loading

It's possible to work around this failure by manually executing the remaining cargo kani setup steps:

  1. Download the kani-0.40.0-aarch64-unknown-linux-gnu.tar.gz bundle.
  2. Unpack the bundle: tar -zxf kani-0.40.0-aarch64-unknown-linux-gnu.tar.gz (this will generate a kani-0.40.0 folder)
  3. Copy the bundle: cp -r kani-0.40.0 ~/.kani/
  4. Install the nightly toolchain: rustup toolchain install nightly-2023-10-31
  5. Link the toolchain: ln -s ~/.rustup/toolchains/nightly-2023-10-31-aarch64-unknown-linux-gnu ~/.kani/kani-0.40.0/toolchain
  6. (optional) Install Python dependencies: python3 -m pip install --target ~/.kani/kani-0.40.0/pyroot cbmc-viewer==3.8

adpaco-aws added a commit that referenced this issue Nov 7, 2023
@adpaco-aws
Fix setup for aarch64-unknown-linux-gnu platform (#2864)
8027413 
Fixes setup for the `aarch64-unknown-linux-gnu` platform by adding its
target triple to the list of supported targets in the setup program.

Resolves #2863
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@adpaco-aws adpaco-aws

Labels
[C] Bug This is a bug. Something isn't working.
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fix setup for aarch64-unknown-linux-gnu platform adpaco-aws/rmc
1 participant
@adpaco-aws