`kup` install K does not work to build blockchain-k-plugin
Dieses Issue hat noch niemand übernommen.
Bewertung
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Anfängerfreundlichkeit
- 30/100
- Issue-Typ
- Bug
- Klarheit
- Muss geklärt werden
- Aktivitätsstatus
- Veraltet
- Tech-Stack
- python
- Bereich
- build-system, devtools
Rechercherichtung
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.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Beschreibung
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
- Vorherrschende Sprache
- Python
- Sterne
- 10
- Forks
- 2
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Entwicklungsumgebung
Die Einrichtungsdateien dieses Projekts haben wir noch nicht geprüft. Beginnen Sie mit der README; die allgemeinen Schritte stehen in unserem Leitfaden für den ersten Beitrag.
Erste Schritte
- Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
- Forken Sie das Repository und arbeiten Sie in einem Branch.
- Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.
Mehr aus runtimeverification/kup
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 52/100
runtimeverification/kup#149 ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
runtimeverification/kup#138 ·
-
Update `kup list` to show nicer and shorter version strings againEvtl. wieder frei @juliankuners hat das vor 426 Tagen übernommen, und es ist kein Pull Request offen. Offen
runtimeverification/kup#137 · 1 Kommentar · 1 zugewiesene Person ·
-
Add more Nix versions to test CI workflowEvtl. wieder frei @juliankuners hat das vor 427 Tagen übernommen, und es ist kein Pull Request offen. Offen
runtimeverification/kup#136 · 1 zugewiesene Person ·
-
Kup fails to uninstall nix profile packages by index on new nix and nix manifest versionsEvtl. wieder frei @juliankuners hat das vor 427 Tagen übernommen, und es ist kein Pull Request offen. Offen
runtimeverification/kup#135 · 1 zugewiesene Person ·
Alle Issues in runtimeverification/kup
Ähnliche Issues
-
repo-audit
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 75/100
scverse/repo-health#20 ·
Maintainer antworten meist innerhalb von 1 Tag
-
/context/prime scope override double-prefixes an entity-ref project and drops its scoped memoriesOffen
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 85/100
phasespace-labs/palinode#232 ·
Maintainer antworten meist innerhalb von 1 Tag
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 82/100
collective/icalendar#1858 · 1 Kommentar ·
Maintainer antworten meist innerhalb von 1 Tag
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 68/100
Maintainer antworten meist innerhalb von 1 Tag
-
bug
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 78/100
langflow-ai/langflow#15496 ·
Maintainer antworten meist innerhalb von 1 Tag