# Entorno del curso de Análisis y Diseño de Algoritmos: C++, Git, un solucionador SAT y las
# herramientas de depuración de los laboratorios. Python solo corre el juez y las pruebas
# automáticas; no se enseña en el curso. La misma imagen sirve para GitHub Codespaces
# (.devcontainer/) y para Docker en una laptop, en amd64 y arm64.
FROM python:3.14-slim-trixie

ENV DEBIAN_FRONTEND=noninteractive

RUN apt-get update && apt-get install -y --no-install-recommends \
        build-essential gdb valgrind make git minisat ca-certificates curl vim nano less tree file man-db procps xxd \
    && rm -rf /var/lib/apt/lists/*

# Los repositorios montados pertenecen a otro usuario; sin esto, git (que corre
# como root) los rechaza por "dubious ownership".
RUN git config --system --add safe.directory '*'

CMD ["bash"]