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

Prover package: protobuf-compiler in the apt list (the host build's prost crate needs protoc)

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-04 08:46:32 +00:00
parent e5c7f3d0ef
commit f55712e2f6
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -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").