aboutsummaryrefslogtreecommitdiff
path: root/zkvms/risc0
diff options
context:
space:
mode:
authorKamen Mladenov <kamen@syndamia.com>2025-01-13 11:43:11 +0200
committerKamen Mladenov <kamen@syndamia.com>2025-01-13 11:43:11 +0200
commit90824374ab69f8ec2386903b07bb7a3678d9a762 (patch)
treeb3da2cdbfcb16f7d0a15135a589803c429221fa6 /zkvms/risc0
parent07c565962194606d873ca14681c51a1cba048ec3 (diff)
downloadzkVMs-benchmarks-90824374ab69f8ec2386903b07bb7a3678d9a762.tar
zkVMs-benchmarks-90824374ab69f8ec2386903b07bb7a3678d9a762.tar.gz
zkVMs-benchmarks-90824374ab69f8ec2386903b07bb7a3678d9a762.zip
feat: Add script for running a zkVM
Diffstat (limited to 'zkvms/risc0')
-rw-r--r--zkvms/risc0/default.nix7
1 files changed, 2 insertions, 5 deletions
diff --git a/zkvms/risc0/default.nix b/zkvms/risc0/default.nix
index c491217..f9df4ae 100644
--- a/zkvms/risc0/default.nix
+++ b/zkvms/risc0/default.nix
@@ -34,10 +34,7 @@ in
inherit cargoArtifacts;
nativeBuildInputs = [
- just
metacraft-labs.risc0
- stdenv.cc
- pkg-config
];
postPatch = ''
@@ -52,8 +49,8 @@ in
hostBin = "host-risc0";
- postInstall = ''
- ln -s "${metacraft-labs.risc0}"/bin/r0vm "$out"/bin/r0vm
+ preRun = ''
+ export PATH="\$PATH:${metacraft-labs.risc0}/bin"
'';
doCheck = false;