diff --git a/proving/windows-wsl2/prove-block.sh b/proving/windows-wsl2/prove-block.sh index a76d8a9e..22f31e18 100755 --- a/proving/windows-wsl2/prove-block.sh +++ b/proving/windows-wsl2/prove-block.sh @@ -49,7 +49,7 @@ mkdir -p "$DEST" rsync -a --delete --exclude target "$HERE/package/" "$DEST/" 2>/dev/null || cp -r "$HERE/package/." "$DEST/" # Re-stamp every copied source: rsync keeps the Mac's dates and cargo rebuilds by mtime, so a file older than the last build # here would be taken as unchanged (the stale-build class, 4 and 5 October 2026). -find "$DEST" -path "$DEST/*/target" -prune -o -type f -exec touch {} + 2>/dev/null || true +find "$DEST" -name target -prune -o -type f -exec touch {} + 2>/dev/null || true 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 diff --git a/proving/windows-wsl2/setup-wsl.sh b/proving/windows-wsl2/setup-wsl.sh index a57a2584..7d2103bc 100755 --- a/proving/windows-wsl2/setup-wsl.sh +++ b/proving/windows-wsl2/setup-wsl.sh @@ -62,7 +62,7 @@ mkdir -p "$DEST" rsync -a --delete --exclude target "$HERE/package/" "$DEST/" 2>/dev/null || cp -r "$HERE/package/." "$DEST/" # Re-stamp every copied source: rsync keeps the Mac's dates and cargo rebuilds by mtime, so a file older than the last build # here would be taken as unchanged (the stale-build class, 4 and 5 October 2026). -find "$DEST" -path "$DEST/*/target" -prune -o -type f -exec touch {} + 2>/dev/null || true +find "$DEST" -name target -prune -o -type f -exec touch {} + 2>/dev/null || true cd "$DEST/proving/igneum-prove" # The guest is built by host/build.rs through cargo-prove; the host links sp1-sdk with the cuda feature. cargo build --release -p igneum-prove-export -p igneum-prove-host --features igneum-prove-host/cuda 2>&1 | tail -5