From 5969acd65589e264e4e39e165985a6c605b2eaa3 Mon Sep 17 00:00:00 2001 From: Kamen Mladenov Date: Thu, 6 Mar 2025 13:36:40 +0200 Subject: feat: Replace guest script with a fully-fledged Rust program --- guest.nix | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100644 guest.nix (limited to 'guest.nix') diff --git a/guest.nix b/guest.nix deleted file mode 100644 index 4b3782f..0000000 --- a/guest.nix +++ /dev/null @@ -1,18 +0,0 @@ -{ writeShellApplication, guest, zkvms, hostPackages, lib, }: -writeShellApplication { - name = "${guest}"; - - runtimeInputs = - lib.foldr (zkvm: accum: accum ++ [ hostPackages."${zkvm}/${guest}" ]) [ ] - zkvms; - - text = '' - runZKVM() { - echo "$1" - "$@" - } - '' + lib.foldr (zkvm: accum: - '' - runZKVM "${hostPackages."${zkvm}/${guest}"}/bin/${zkvm}_${guest}" "$@" - '' + accum) "" zkvms; -} -- cgit v1.2.3