From f55712e2f62966e4271b0357cfeea8dc3a95d890 Mon Sep 17 00:00:00 2001 From: igneum-labs <337424239+igneum-labs@users.noreply.github.com> Date: Sun, 4 Oct 2026 08:46:32 +0000 Subject: [PATCH] Prover package: protobuf-compiler in the apt list (the host build's prost crate needs protoc) Co-Authored-By: Claude Fable 5.1 --- proving/windows-wsl2/setup-wsl.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/proving/windows-wsl2/setup-wsl.sh b/proving/windows-wsl2/setup-wsl.sh index 76445721..75d6709a 100755 --- a/proving/windows-wsl2/setup-wsl.sh +++ b/proving/windows-wsl2/setup-wsl.sh @@ -16,9 +16,9 @@ if [ ! -e /usr/lib/wsl/lib/libcuda.so.1 ]; then log "WARNING: /usr/lib/wsl/lib/libcuda.so.1 is missing: the Windows NVIDIA driver is not exposing the GPU to WSL. Update the Windows driver and run 'wsl --update' in PowerShell." fi -log "1/5 apt packages (build-essential, clang, pkg-config, libssl-dev, git, curl, python3, about 300 MB approximate)" +log "1/5 apt packages (build-essential, clang, pkg-config, libssl-dev, git, curl, python3, protobuf-compiler, about 300 MB approximate)" sudo apt-get update -qq -sudo DEBIAN_FRONTEND=noninteractive apt-get install -y -qq build-essential clang pkg-config libssl-dev git curl ca-certificates python3 wget gnupg2 >/dev/null +sudo DEBIAN_FRONTEND=noninteractive apt-get install -y -qq build-essential clang pkg-config libssl-dev git curl ca-certificates python3 wget gnupg2 protobuf-compiler >/dev/null log "2/5 NVIDIA CUDA toolkit for WSL-Ubuntu (repository wsl-ubuntu, cuda-toolkit-12-8, about 3 GB approximate; the driver is NOT installed here)" # Source: https://docs.nvidia.com/cuda/wsl-user-guide/index.html (CUDA on WSL User Guide, "Option 1: Using the WSL-Ubuntu Package").