FROM python:3.11-slim

# Install GCC, Clang, and Splint (PC-Lint alternative)
RUN apt-get update && apt-get install -y \
    gcc \
    g++ \
    clang \
    make \
    splint \
    && rm -rf /var/lib/apt/lists/*

# Set working directory
WORKDIR /app

# Copy requirements and install Python dependencies
COPY requirements.txt .
RUN pip install --no-cache-dir -r requirements.txt

# Copy application code
COPY app.py .

# Expose port 7860 (Hugging Face Spaces default port)
EXPOSE 7860

# Run the FastAPI application
CMD ["uvicorn", "app:app", "--host", "0.0.0.0", "--port", "7860"]