aboutsummaryrefslogtreecommitdiff
path: root/zkvmLib.nix
diff options
context:
space:
mode:
authorKamen Mladenov <kamen@syndamia.com>2025-02-10 10:52:15 +0200
committerKamen Mladenov <kamen@syndamia.com>2025-02-10 10:52:15 +0200
commitbb7f09ea36d5ba02fe5648941de51aa5765d4010 (patch)
tree826ef4a72eb895c54361ea9bcf4b74c8c82218e3 /zkvmLib.nix
parentbc92441157bbcea095d1fb2bbfc8ecf19c1b1346 (diff)
downloadzkVMs-benchmarks-bb7f09ea36d5ba02fe5648941de51aa5765d4010.tar
zkVMs-benchmarks-bb7f09ea36d5ba02fe5648941de51aa5765d4010.tar.gz
zkVMs-benchmarks-bb7f09ea36d5ba02fe5648941de51aa5765d4010.zip
feat(zkvms_host_io): Metrics output now contains the name of the zkvm
Diffstat (limited to 'zkvmLib.nix')
-rw-r--r--zkvmLib.nix2
1 files changed, 2 insertions, 0 deletions
diff --git a/zkvmLib.nix b/zkvmLib.nix
index 7f0198b..b1b38d4 100644
--- a/zkvmLib.nix
+++ b/zkvmLib.nix
@@ -68,6 +68,7 @@ in {
buildGuestPhase = ''
export INPUTS_DIR="$PWD/guests/${guest}"
+ export ZKVM="${args.pname}"
pushd zkvms/${args.pname}/guest
runHook preBuildGuest
@@ -85,6 +86,7 @@ in {
buildPhase = ''
export INPUTS_DIR="$PWD/guests/${guest}"
+ export ZKVM="${args.pname}"
pushd zkvms/${args.pname}/host
runHook preBuild