FROM python:3.12-slim
RUN apt-get update && apt-get install -y --no-install-recommends git && rm -rf /var/lib/apt/lists/* \
 && pip install --no-cache-dir pytest==8.3.5
ADD --checksum=sha256:9b9e5977d54f810ac81b94664353645dda2b906de21465291bbb7bdb7d18ec5e \
    https://github.com/yvgude/lean-ctx/releases/download/v3.11.4/lean-ctx-aarch64-unknown-linux-gnu.tar.gz /tmp/lc.tgz
RUN mkdir /tmp/lc && tar -xzf /tmp/lc.tgz -C /tmp/lc && find /tmp/lc -type f -name lean-ctx -exec install -m 755 {} /usr/local/bin/lean-ctx \; && rm -rf /tmp/lc /tmp/lc.tgz
ENV LEAN_CTX_TELEMETRY=off DO_NOT_TRACK=1 LEAN_CTX_NO_UPDATE_CHECK=1 PYTHONDONTWRITEBYTECODE=1
