`kup` install K does not work to build blockchain-k-plugin

Open
#57 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty
4/5
Estimated time
3-5 days
Newbie friendliness
30/100
Issue type
Bug
Clarity
Needs clarification
Activity status
Stale
Tech stack
python
Domain
build-system, devtools

Research direction

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.

Written by the indexing model from the issue text.

Description

The blockchain-k-plugin depends on external libraries:

  • libff
  • libsecp256k1
  • libcryptopp

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

Dominant language
Python
Stars
10
Forks
2
No merged PRs in 30d

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from runtimeverification/kup

All issues in runtimeverification/kup

Similar issues

More Python issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.