`kup` install K does not work to build blockchain-k-plugin
还没有人认领这个 Issue。
评估
- 难度
- 4/5
- 预计耗时
- 3-5 天
- 新手友好度
- 30/100
- Issue 类型
- 缺陷
- 描述清晰度
- 需要澄清
- 活跃度
- 停滞
- 技术栈
- python
- 领域
- build-system, devtools
调研方向
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.
由索引模型根据 Issue 内容生成。
描述
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
- 主要语言
- Python
- 星标
- 10
- 派生
- 2
- PR 合并指标
- 30 天内没有已合并 PR
环境准备
这个项目没有提供开发容器、Dockerfile 或贡献指南，环境需要你自己搭建：先看它的 README，通用步骤见我们的新手贡献指南。
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
runtimeverification/kup 的其他 Issue
-
难度 3/5 1-2 天 新手友好度 52/100
runtimeverification/kup#149 ·
-
难度 4/5 3-5 天 新手友好度 35/100
runtimeverification/kup#138 ·
-
Update `kup list` to show nicer and shorter version strings again可能重新可做 @juliankuners 于 442 天前认领，目前没有进行中的 PR。 未关闭
runtimeverification/kup#137 · 1 条评论 · 已指派 1 人 ·
-
Add more Nix versions to test CI workflow可能重新可做 @juliankuners 于 442 天前认领，目前没有进行中的 PR。 未关闭
runtimeverification/kup#136 · 已指派 1 人 ·
-
Kup fails to uninstall nix profile packages by index on new nix and nix manifest versions可能重新可做 @juliankuners 于 442 天前认领，目前没有进行中的 PR。 未关闭
runtimeverification/kup#135 · 已指派 1 人 ·
查看 runtimeverification/kup 的全部 Issue
相似的 Issue
-
python triage
难度 2/5 1-3 小时 新手友好度 72/100
microsoft/semantic-kernel#14615 ·
维护者通常 3 天内回复
-
难度 2/5 1-3 小时 新手友好度 65/100
-
bug
难度 2/5 1-3 小时 新手友好度 74/100
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 72/100
shackett/shackett-utils#19 ·
-
难度 2/5 1-3 小时 新手友好度 72/100
UKGovernmentBEIS/control-arena#917 ·
维护者通常 1 天内回复