runtimeverification / runtimeverification/evm-semantics
Kontrol does not `kup install` in system aarch64-linux
Nobody has claimed this yet.
- Dominant language
- KCL
- Stars
- 591
- Forks
- 156
- Avg merge
- 2h 19m
- Merged PRs (30d)
- 1
Description
The problem: Kontrol and evm-semantics repo rely on the nix package 'https://github.com/hellwolf/solc.nix'. Which does not support this architecture https://github.com/hellwolf/solc.nix/blob/fbbe5553a7fc52f2d423afac81316023a183e72c/mk-solc-static.nix#L22. This is due to its upstream dependency solc does not support the system aarch64-linux for now.
Wait and check upstream support, maybe 0.8.23 shall support this according to the milestone plan
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by checking the referenced solc.nix mk-solc-static.nix entry and the Solidity milestone 58 for upstream aarch64-linux support. Confirm whether the required solc version supports this system and test the Kontrol or evm-semantics kup install path. Done means system aarch64-linux installation works, or the issue is updated with the current upstream status.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- solidity
- Domain
- build-system
- Issue type
- Bug
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100