From d24bd9aed30ee9e3c3463f1060fc046c8c18d338 Mon Sep 17 00:00:00 2001
From: Kamen Mladenov <kamen@syndamia.com>
Date: Thu, 30 Jan 2025 11:43:22 +0200
Subject: feat(risc0): Adapt to new input type and zkvmLib

---
 zkvms/risc0/Justfile | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 zkvms/risc0/Justfile

(limited to 'zkvms/risc0/Justfile')

diff --git a/zkvms/risc0/Justfile b/zkvms/risc0/Justfile
deleted file mode 100644
index 9cd78fe..0000000
--- a/zkvms/risc0/Justfile
+++ /dev/null
@@ -1,12 +0,0 @@
-execute: build-guest
-    time cargo run --bin host-risc0 --release -- execute
-
-prove: build-guest
-    time cargo run --bin host-risc0 --release -- prove
-
-verify: build-guest
-    time cargo run --bin host-risc0 --release -- verify
-
-build-guest:
-    cd guest && \
-    cargo build --release --target riscv32im-risc0-zkvm-elf
-- 
cgit v1.2.3