| # Use official Python image | |
| FROM python:3.10-slim | |
| # Set working directory | |
| WORKDIR /app | |
| # Install system dependencies (Java for pdffigures2.jar) | |
| RUN apt-get update && \ | |
| apt-get install -y default-jre && \ | |
| apt-get clean && \ | |
| rm -rf /var/lib/apt/lists/* | |
| # Copy project files | |
| COPY . . | |
| # Install Python dependencies | |
| RUN pip install --no-cache-dir -r requirements.txt | |
| # Hugging Face requires port 7860 to be exposed | |
| EXPOSE 7860 | |
| # Run the Gradio app | |
| CMD ["python", "app.py"] | |