Update Dockerfile

Dockerfile

@@ -1,35 +1,39 @@
-# Use a standard Python 3.11 slim image as the base
-FROM python:3.11-slim
-
-# Set the working directory inside the container
-WORKDIR /code
-
-# Set environment variable to prevent interactive prompts during package installation
-ENV DEBIAN_FRONTEND=noninteractive
-
-# Install system-level dependencies:
-# - git: for version control (good practice)
-# - ffmpeg: required by manim for video processing
-# - texlive-full: a full LaTeX distribution for rendering math text
-# This is the slowest step.
-RUN apt-get update && apt-get install -y --no-install-recommends \
-    git \
-    ffmpeg \
-    texlive-full \
-    && apt-get clean \
-    && rm -rf /var/lib/apt/lists/*
-
-# Copy the requirements file into the container
-COPY requirements.txt .
-
-# Install Python packages specified in requirements.txt
-RUN pip install --no-cache-dir --upgrade -r requirements.txt
-
-# Copy all the application files (app.py, proof.py, etc.) into the container
-COPY . .
-
-# Expose the port Gradio runs on (7860)
-EXPOSE 7860
-
-# The command to run when the container starts: launch the Gradio app
+# Use a standard Python 3.11 slim image as the base
+FROM python:3.11-slim
+
+# Set the working directory inside the container
+WORKDIR /code
+
+# Set environment variable to prevent interactive prompts during package installation
+ENV DEBIAN_FRONTEND=noninteractive
+
+# Install system-level dependencies:
+# - git: for version control (good practice)
+# - ffmpeg: required by manim for video processing
+# - texlive-full: a full LaTeX distribution for rendering math text
+# - build-essential, pkg-config, libcairo2-dev: NEW - required to compile pycairo
+# This is the slowest step.
+RUN apt-get update && apt-get install -y --no-install-recommends \
+    git \
+    ffmpeg \
+    texlive-full \
+    build-essential \
+    pkg-config \
+    libcairo2-dev \
+    && apt-get clean \
+    && rm -rf /var/lib/apt/lists/*
+
+# Copy the requirements file into the container
+COPY requirements.txt .
+
+# Install Python packages specified in requirements.txt
+RUN pip install --no-cache-dir --upgrade -r requirements.txt
+
+# Copy all the application files (app.py, proof.py, etc.) into the container
+COPY . .
+
+# Expose the port Gradio runs on (7860)
+EXPOSE 7860
+
+# The command to run when the container starts: launch the Gradio app
 CMD ["gradio", "app.py"]