diff --git a/proving/windows-wsl2/prove-block.sh b/proving/windows-wsl2/prove-block.sh index b6c07f828..d21373c05 100755 --- a/proving/windows-wsl2/prove-block.sh +++ b/proving/windows-wsl2/prove-block.sh @@ -18,18 +18,6 @@ echo "igneum proving v0, run $RUN_ID, $(date -u +%FT%TZ), host $(hostname), fixt nvidia-smi --query-gpu=name,memory.total,driver_version --format=csv,noheader 2>/dev/null || echo "nvidia-smi not available in WSL" echo "cpu: $(nproc) cores, ram: $(free -g | awk '/Mem:/ {print $2}') GB visible to WSL" -# 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/" -cd "$DEST/proving/igneum-prove" -echo "building (first time: 10 to 30 minutes, approximate; the guest is 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 - echo "BUILD FAILED"; upload; exit 1 -fi -HOST="$DEST/proving/igneum-prove/target/release/igneum-prove-host" -FIX="$DEST/proving/fixtures/$FIXTURE.json" -mkdir -p "$HERE/results" - upload() { # Last 256 KB of the log to the intake, same URL and key as upload-log.bat (log uploads only). python3 - "$LOG" "$RUN_ID" <<'PY' @@ -46,6 +34,19 @@ except Exception as e: 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/" +cd "$DEST/proving/igneum-prove" +echo "building (first time: 10 to 30 minutes, approximate; the guest is 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 + echo "BUILD FAILED"; upload; exit 1 +fi +HOST="$DEST/proving/igneum-prove/target/release/igneum-prove-host" +FIX="$DEST/proving/fixtures/$FIXTURE.json" +mkdir -p "$HERE/results" + + echo "=== GPU run: SP1_PROVER=cuda, modes execute + core + compressed (the first run downloads sp1-gpu-server, about 134 MB) ===" SP1_PROVER=cuda RUST_LOG=info "$HOST" "$FIX" --mode all --out "$HERE/results/$FIXTURE-cuda-$STAMP.json" echo "gpu run exit $?"