Update dependency: deps/kevm_release (#777)

* deps/kevm_release: Set Version 1.0.687 * Sync Poetry files: kevm-pyk version 1.0.687 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.688 * Sync Poetry files: kevm-pyk version 1.0.688 * flake.{nix,lock}: update Nix derivations * Remove `procps`, add `secp256k1` to `flake.nix` * Run `kdist` with `--verbose` * Add `mpfr` to `flake.nix` * Add `boost` to `flake.nix` * deps/kevm_release: Set Version 1.0.689 * Sync Poetry files: kevm-pyk version 1.0.689 * deps/k_release: sync release file version 7.1.111 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.690 * Sync Poetry files: kevm-pyk version 1.0.690 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops <[email protected]> Co-authored-by: Tamás Tóth <[email protected]> Co-authored-by: Palina Tolmach <[email protected]>
runtimeverification · Aug 19, 2024 · bda5906 · bda5906
1 parent a91dadd
commit bda5906
Show file tree

Hide file tree

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

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -26,7 +26,7 @@ The first step is to develop and test your changes locally.
 
 ##### 1. Build Kontrol from source
 ```
-kup install k.openssl.procps.secp256k1 --version v$(cat deps/k_release)
+kup install k.openssl.secp256k1 --version v$(cat deps/k_release)
 poetry install
 poetry run kdist clean
 CXX=clang++-14 poetry run kdist --verbose build -j2 evm-semantics.haskell kontrol.foundry

diff --git a/Dockerfile b/Dockerfile
@@ -16,7 +16,6 @@ RUN    apt-get -y update             \
          cmake                       \
          curl                        \
          graphviz                    \
-         libprocps-dev               \
          libsecp256k1-dev            \
          libssl-dev                  \
          libtool                     \

diff --git a/README.md b/README.md
@@ -22,7 +22,7 @@ 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.secp256k1 --version v$(cat deps/k_release)
+kup install k.openssl.secp256k1 --version v$(cat deps/k_release)
 ```
 
 #### Poetry dependencies

diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-7.1.108
+7.1.111
diff --git a/deps/kevm_release b/deps/kevm_release
@@ -1 +1 @@
-1.0.686
+1.0.690