igneum-network/igneum
1
0
Fork 0
Code Issues Pull requests Releases Activity

prove-shard.sh: touch the copied sources so cargo-prove rebuilds the guests on the PC

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-josh 2026-10-04 19:56:36 +01:00
parent e7225b74f1
commit 256212ad0e
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
proving/windows-wsl2/prove-shard.sh
View file

@ -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