From 0861586b4e5871e9bb0fb6133030ff57c564f184 Mon Sep 17 00:00:00 2001 From: igneum-josh <337424239+igneum-josh@users.noreply.github.com> Date: Mon, 5 Oct 2026 11:51:10 +0100 Subject: [PATCH] wsl scripts: the re-stamp prunes every target dir, not only one level deep (touching target made cargo skip the rebuild) Co-Authored-By: Claude Fable 5.1 --- proving/windows-wsl2/prove-block.sh | 2 +- proving/windows-wsl2/setup-wsl.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/proving/windows-wsl2/prove-block.sh b/proving/windows-wsl2/prove-block.sh index a76d8a9e2..22f31e183 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 a57a25841..7d2103bcb 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