aboutsummaryrefslogtreecommitdiff
path: root/guest.nix
diff options
context:
space:
mode:
authorKamen Mladenov <kamen@syndamia.com>2025-01-30 15:49:27 +0200
committerKamen Mladenov <kamen@syndamia.com>2025-01-30 15:49:27 +0200
commit53ed6b623f49bdf68c8af79ad763d95bee19123c (patch)
tree4fae02c2cd18e8178e75ef9d1852848639a3e0fc /guest.nix
parent6eeab4cfaedb568a8a4e2e194fbef94559618920 (diff)
downloadzkVMs-benchmarks-53ed6b623f49bdf68c8af79ad763d95bee19123c.tar
zkVMs-benchmarks-53ed6b623f49bdf68c8af79ad763d95bee19123c.tar.gz
zkVMs-benchmarks-53ed6b623f49bdf68c8af79ad763d95bee19123c.zip
feat(flake): Implement single guest packages
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;
+}