Kontrol does not `kup install` in system aarch64-linux
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Idoneità per principianti
- 25/100
- Tipo di issue
- Bug
- Chiarezza
- Da chiarire
- Stato di attività
- Ferma
- Stack tecnologico
- solidity
- Ambito
- build-system
Direzione di ricerca
Inizia controllando la voce referenziata di solc.nix mk-solc-static.nix e la milestone 58 di Solidity per il supporto upstream di aarch64-linux. Conferma se la versione richiesta di solc supporta questo sistema e testa il percorso kup install di Kontrol o evm-semantics. Il lavoro è completato quando l’installazione sul sistema aarch64-linux funziona oppure l’issue viene aggiornata con lo stato upstream corrente.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
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
- Lingua principale
- KCL
- Stelle
- 592
- Fork
- 156
- Merge medio
- 2h 19m
- PR unite (30g)
- 1
Preparare l'ambiente
Non abbiamo ancora controllato i file di configurazione di questo progetto. Parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di runtimeverification/evm-semantics
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 78/100
runtimeverification/evm-semantics#1190 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
runtimeverification/evm-semantics#2879 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
runtimeverification/evm-semantics#2869 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
runtimeverification/evm-semantics#2832 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100
runtimeverification/evm-semantics#2824 ·
Tutte le issue di runtimeverification/evm-semantics
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
FreeCAD/homebrew-freecad#870 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 84/100
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 92/100
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 95/100
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 88/100
I maintainer di solito rispondono entro 1 giorno