From 90824374ab69f8ec2386903b07bb7a3678d9a762 Mon Sep 17 00:00:00 2001 From: Kamen Mladenov Date: Mon, 13 Jan 2025 11:43:11 +0200 Subject: feat: Add script for running a zkVM --- zkvms/risc0/default.nix | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'zkvms') 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; -- cgit v1.2.3