Spaces:
Sleeping
Sleeping
| FROM ubuntu:22.04 | |
| ENV DEBIAN_FRONTEND=noninteractive | |
| ENV LANG=C.UTF-8 | |
| RUN apt-get update && apt-get install -y \ | |
| python3.11 python3-pip python3.11-dev \ | |
| curl git build-essential \ | |
| && rm -rf /var/lib/apt/lists/* | |
| # Install elan (Lean version manager) and the stable Lean 4 toolchain | |
| RUN curl -sSf https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh \ | |
| | sh -s -- -y --no-modify-path --default-toolchain leanprover/lean4:stable | |
| ENV PATH="/root/.elan/bin:$PATH" | |
| # Confirm lean is available | |
| RUN lean --version | |
| WORKDIR /app | |
| # Install Python deps first (layer-cached separately from source) | |
| COPY requirements.txt . | |
| RUN pip3 install --no-cache-dir -r requirements.txt | |
| COPY . . | |
| EXPOSE 7860 | |
| ENV GRADIO_SERVER_NAME=0.0.0.0 | |
| CMD ["python3", "app.py"] | |