From bf3331c40fc50cc9e6e32adca47bc4cb66d7c1e5 Mon Sep 17 00:00:00 2001 From: David Rusu Date: Thu, 27 Feb 2025 19:25:11 +0100 Subject: [PATCH] gen images in a loop to resolve id changes due to recursion --- emmarin/cl/gen_risc0_images.sh | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100755 emmarin/cl/gen_risc0_images.sh diff --git a/emmarin/cl/gen_risc0_images.sh b/emmarin/cl/gen_risc0_images.sh new file mode 100755 index 0000000..36c8fa3 --- /dev/null +++ b/emmarin/cl/gen_risc0_images.sh @@ -0,0 +1,19 @@ +#!/usr/bin/env bash +set -e + +# We generate in a *loop* because some risc0 proofs are recursive, so if a child +# proof's id changes, then the parent proof will also change, but we don't see the +# parent's id change until the next run. + +cargo run --bin gen_risc0_images > risc0_images/src/lib.rs.new + +while ! cmp -s risc0_images/src/lib.rs.new risc0_images/src/lib.rs +do + mv risc0_images/src/lib.rs.new risc0_images/src/lib.rs + cargo run --bin gen_risc0_images > risc0_images/src/lib.rs.new + echo "-------- FINISHED UPDATE ITERATION --------" +done + +rm risc0_images/src/lib.rs.new + +cargo test -p risc0_images_police