aboutsummaryrefslogtreecommitdiff
path: root/guest.nix
diff options
context:
space:
mode:
Diffstat (limited to 'guest.nix')
-rw-r--r--guest.nix19
1 files changed, 19 insertions, 0 deletions
diff --git a/guest.nix b/guest.nix
new file mode 100644
index 0000000..9dff41d
--- /dev/null
+++ b/guest.nix
@@ -0,0 +1,19 @@
+{ writeShellApplication,
+ guest,
+ zkvms,
+ hostPackages,
+ lib,
+}:
+writeShellApplication {
+ name = "${guest}";
+
+ runtimeInputs = lib.foldr
+ (zkvm: accum: accum ++ [ hostPackages."${zkvm}/${guest}" ])
+ []
+ zkvms;
+
+ text = lib.foldr
+ (zkvm: accum: accum + hostPackages."${zkvm}/${guest}" + "/bin/${zkvm}_${guest} \"$@\"\n")
+ ""
+ zkvms;
+}