From 48868dbb03fcd3e1cf744169f36fab309ff0548d Mon Sep 17 00:00:00 2001 From: igneum-labs <337424239+igneum-labs@users.noreply.github.com> Date: Sun, 4 Oct 2026 18:56:36 +0000 Subject: [PATCH] prove-shard.sh: touch the copied sources so cargo-prove rebuilds the guests on the PC Co-Authored-By: Claude Fable 5.1 --- proving/windows-wsl2/prove-shard.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/proving/windows-wsl2/prove-shard.sh b/proving/windows-wsl2/prove-shard.sh index 253ab826d..3981e1bc1 100755 --- a/proving/windows-wsl2/prove-shard.sh +++ b/proving/windows-wsl2/prove-shard.sh @@ -39,6 +39,10 @@ PY # Fresh sources from the package (edits on the Windows side are picked up), build with the cuda feature. mkdir -p "$DEST" rsync -a --delete --exclude target "$HERE/package/" "$DEST/" 2>/dev/null || cp -r "$HERE/package/." "$DEST/" +# The copy keeps the Mac's file times, which can be OLDER than the PC's last build, so cargo would keep a stale guest +# ELF next to a fresh host (4 October 2026: a guest that returned 0 bytes of public values). Touch every source so +# cargo-prove rebuilds the guests from what is actually here. +find "$DEST/proving" "$DEST/vendor" -type f \( -name '*.rs' -o -name 'Cargo.toml' -o -name 'Cargo.lock' -o -name 'build.rs' \) -exec touch {} + 2>/dev/null cd "$DEST/proving/igneum-prove" echo "building (first time: 10 to 30 minutes, approximate; both guests are compiled by cargo-prove inside the host build)" if ! cargo build --release -p igneum-prove-host --features igneum-prove-host/cuda 2>&1 | tail -3; then