`kup` install K does not work to build blockchain-k-plugin
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 30/100
- Tipo di issue
- Bug
- Chiarezza
- Da chiarire
- Stato di attività
- Ferma
- Stack tecnologico
- python
- Ambito
- build-system, devtools
Direzione di ricerca
Start by reading the kup install workflow described in this issue and the related issues #48 and #47. Reproduce the failure while building and testing blockchain-k-plugin, including its libff, libsecp256k1, and libcryptopp dependencies. Done means kup install K enables that repository to build and run its tests without requiring an otherwise unavailable local K build.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
The blockchain-k-plugin depends on external libraries:
libfflibsecp256k1libcryptopp
Because of this, we cannot build and test that repository without a local build of K.
Related: https://github.com/runtimeverification/kup/issues/48 and https://github.com/runtimeverification/kup/issues/47
Discovered while trying to make some new tests for the plugin: https://github.com/runtimeverification/blockchain-k-plugin/pull/151
- Lingua principale
- Python
- Stelle
- 10
- Fork
- 2
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Preparare l'ambiente
Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: 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/kup
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 52/100
runtimeverification/kup#149 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
runtimeverification/kup#138 ·
-
Update `kup list` to show nicer and shorter version strings againForse di nuovo libera @juliankuners l’ha presa 436 giorni fa e non c’è nessuna pull request aperta. Aperta
runtimeverification/kup#137 · 1 commento · 1 assegnatario ·
-
Add more Nix versions to test CI workflowForse di nuovo libera @juliankuners l’ha presa 436 giorni fa e non c’è nessuna pull request aperta. Aperta
runtimeverification/kup#136 · 1 assegnatario ·
-
Kup fails to uninstall nix profile packages by index on new nix and nix manifest versionsForse di nuovo libera @juliankuners l’ha presa 436 giorni fa e non c’è nessuna pull request aperta. Aperta
runtimeverification/kup#135 · 1 assegnatario ·
Tutte le issue di runtimeverification/kup
Issue simili
-
area:space-accuracy good first issue track:data
Difficoltà 2/5 1-3 ore Idoneità per principianti 85/100
Sara-Managed-Projects/space-radar#904 ·
I maintainer di solito rispondono entro 1 giorno