aboutsummaryrefslogtreecommitdiff
path: root/guest.nix
diff options
context:
space:
mode:
Diffstat (limited to 'guest.nix')
-rw-r--r--guest.nix18
1 files changed, 0 insertions, 18 deletions
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;
-}