Initial commit

This commit is contained in:
Valère Plantevin
2026-04-21 20:31:35 -04:00
commit 882d13f402
21 changed files with 3910 additions and 0 deletions

37
.devcontainer/setup.sh Normal file
View File

@@ -0,0 +1,37 @@
#!/bin/bash
# .devcontainer/setup.sh
set -euo pipefail
echo "=== Installing system deps ==="
sudo apt-get update -qq
sudo apt-get install -y --no-install-recommends \
build-essential pkg-config libssl-dev \
texlive-latex-base texlive-latex-extra \
texlive-fonts-recommended texlive-bibtex-extra \
lmodern biber gcc-aarch64-linux-gnu
echo "=== Configuring Rust Target ==="
# Rust is already installed by the Devcontainer feature
rustup target add aarch64-unknown-linux-gnu
echo "=== Installing Quarto ==="
QUARTO_VER="1.8.0"
if ! command -v quarto &>/dev/null; then
curl -LO "https://github.com/quarto-dev/quarto-cli/releases/download/v${QUARTO_VER}/quarto-${QUARTO_VER}-linux-amd64.deb"
sudo dpkg -i "quarto-${QUARTO_VER}-linux-amd64.deb"
rm "quarto-${QUARTO_VER}-linux-amd64.deb"
fi
echo "=== Installing Python deps ==="
# Python is installed by the Devcontainer feature
python3 -m venv "$HOME/.venv/quic_ecs"
source "$HOME/.venv/quic_ecs/bin/activate"
pip install --quiet -r requirements.txt
echo "=== First Cargo build ==="
cargo build --release 2>&1 | tail -5
echo "=== Quarto check ==="
quarto check
echo "=== Done — workspace ready ==="