Build semantics using krypto.a (#2387)

* Link to `krypto.a` * Remove `procps` * Fix update workflow * kevm-pyk/: sync poetry files pyk version 7.1.108 * flake.{nix,lock}: update Nix derivations * Remove trigger * Run `kdist` with `--verbose` for Nix build * add secp256k1 to buildInputs of kevm --------- Co-authored-by: devops <[email protected]> Co-authored-by: Sam Balco <[email protected]>
runtimeverification · Aug 16, 2024 · fc36be8 · fc36be8
1 parent 953287a
commit fc36be8
Show file tree

Hide file tree

Showing 8 changed files with 447 additions and 78 deletions.
diff --git a/.github/workflows/Dockerfile b/.github/workflows/Dockerfile
@@ -22,7 +22,6 @@ RUN    apt-get update                  \
             debhelper                  \
             libboost-test-dev          \
             libcrypto++-dev            \
-            libprocps-dev              \
             libsecp256k1-dev           \
             libssl-dev                 \
             libyaml-dev                \

diff --git a/.github/workflows/update-version.yml b/.github/workflows/update-version.yml
@@ -53,7 +53,7 @@ jobs:
           K_VERSION=v$(cat deps/k_release)
           BKP_VERSION=$(cat deps/blockchain-k-plugin_release)
           sed -i 's!    k-framework.url = "github:runtimeverification/k/[v0-9\.]*"!    k-framework.url = "github:runtimeverification/k/'"${K_VERSION}"'"!' flake.nix
-          sed -i 's!    blockchain-k-plugin.url = "github:runtimeverification/blockchain-k-plugin/[0-9a-f]*"!    blockchain-k-plugin.url = "github:runtimeverification/blockchain-k-plugin/'"${BKP_VERSION}"'"!' flake.nix
+          sed -i 's!        "github:runtimeverification/blockchain-k-plugin/[0-9a-f]*"!        "github:runtimeverification/blockchain-k-plugin/'"${BKP_VERSION}"'"!' flake.nix
           sed -i 's!    pyk.url = "github:runtimeverification/k/[v0-9\.]*?dir=pyk"!    pyk.url = "github:runtimeverification/k/'"${K_VERSION}"'?dir=pyk"!' flake.nix
           nix run .#update-from-submodules
           nix flake update

diff --git a/README.md b/README.md
@@ -111,13 +111,13 @@ You need to install the [K Framework] on your system, see the instructions there
 The fastest way is via the [kup package manager], with which you can do to get the correct version of K:
 
 ```sh
-kup install k.openssl.procps --version v$(cat deps/k_release)
+kup install k.openssl --version v$(cat deps/k_release)
 ```
 
 You can also drop into a single development shell with the correct version of K on path by doing:
 
 ```sh
-kup shell k.openssl.procps --version v$(cat deps/k_release)
+kup shell k.openssl --version v$(cat deps/k_release)
 ```
 
 ### Building