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

wsl scripts: the re-stamp prunes every target dir, not only one level deep (touching target made cargo skip the rebuild)

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-josh 2026-10-05 11:51:10 +01:00
parent 2f60b202b0
commit 0861586b4e
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
proving/windows-wsl2/prove-block.sh
View file

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

2
proving/windows-wsl2/setup-wsl.sh
View file

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