New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

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

Open

ehildenb opened this issue Apr 22, 2023 · 0 comments

Member

ehildenb commented Apr 22, 2023 •

edited

Loading

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: #48 and #47

Discovered while trying to make some new tests for the plugin: runtimeverification/blockchain-k-plugin#151

The text was updated successfully, but these errors were encountered:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment