Update nix flake inputs structure and add rv-nix-tools to dependency update workflow (#82)

* adapt nix flake inputs for `rv-nix-tools` and `nixpkgs`

* adapt `update-version.yml` workflow for `rv-nix-tools`

* Set Version: 0.1.71

---------

Co-authored-by: devops <devops@runtimeverification.com>

Author: juliankuners

.github/workflows/update.yml

@@ -3,6 +3,7 @@ on:
   push:
     branches:
       - '_update-deps/runtimeverification/wasm-semantics'
+      - '_update-deps/runtimeverification/rv-nix-tools'
   workflow_dispatch:
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
@@ -42,7 +43,9 @@ jobs:
       - name: 'Update Nix flake inputs'
         run: |
           PYKWASM_VERSION=v"$(cat deps/kwasm_release)"
+          RV_NIX_TOOLS_VERSION=$(cat deps/rv-nix-tools)
           sed -i 's!    wasm-semantics.url = "github:runtimeverification/wasm-semantics/v[[:digit:]]\+\.[[:digit:]]\+\.[[:digit:]]\+"!    wasm-semantics.url = "github:runtimeverification/wasm-semantics/'"${PYKWASM_VERSION}"'"!' flake.nix
+          sed -i 's!    rv-nix-tools.url = "github:runtimeverification/rv-nix-tools/[a-z0-9\.]*"!    rv-nix-tools.url = "github:runtimeverification/rv-nix-tools/'"${RV_NIX_TOOLS_VERSION}"'"!' flake.nix
           nix flake update
           git add flake.nix flake.lock && git commit -m 'flake.{nix,lock}: update Nix derivations' || true
       - name: 'Push updates'

deps/rv-nix-tools

@@ -0,0 +1 @@
+854d4f05ea78547d46e807b414faad64cea10ae4

flake.lock

@@ -2,11 +2,16 @@
   description = "komet - K tooling for the Soroban platform";
 
   inputs = {
+    rv-nix-tools.url = "github:runtimeverification/rv-nix-tools/854d4f05ea78547d46e807b414faad64cea10ae4";
+    nixpkgs.follows = "rv-nix-tools/nixpkgs";
+  
     wasm-semantics.url = "github:runtimeverification/wasm-semantics/v0.1.128";
+    wasm-semantics.inputs.nixpkgs.follows = "nixpkgs";
+
     k-framework.follows = "wasm-semantics/k-framework";
-    nixpkgs.follows = "k-framework/nixpkgs";
+
     flake-utils.follows = "k-framework/flake-utils";
-    rv-utils.follows = "k-framework/rv-utils";
+
     poetry2nix.follows = "k-framework/poetry2nix";
 
     rust-overlay.url = "github:oxalica/rust-overlay";
@@ -19,7 +24,7 @@
     };
   };
 
-  outputs = { self, k-framework, nixpkgs, flake-utils, rv-utils, wasm-semantics
+  outputs = { self, k-framework, nixpkgs, flake-utils, rv-nix-tools, wasm-semantics
     , rust-overlay, stellar-cli-flake, ... }@inputs: flake-utils.lib.eachSystem [
       "x86_64-linux"
       "x86_64-darwin"
@@ -54,7 +59,7 @@
         komet-pyk = poetry2nix.mkPoetryApplication {
           python = pkgs.python310;
           projectDir = ./.;
-          src = rv-utils.lib.mkSubdirectoryAppSrc {
+          src = rv-nix-tools.lib.mkSubdirectoryAppSrc {
             inherit pkgs;
             src = ./.;
             subdirectories = [ "pykwasm" ];

flake.nix

@@ -1 +1 @@
-0.1.70
+0.1.71

package/version

@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "komet"
-version = "0.1.70"
+version = "0.1.71"
 description = "K tooling for the Soroban platform"
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",