Spaces:
Running
Running
| # Use an official Python runtime as a parent image | |
| FROM python:3.10 | |
| # Set the working directory in the container | |
| WORKDIR /app | |
| # Copy the current directory contents into the container at /app | |
| COPY . /app | |
| # Install system dependencies (if needed, like Java for language-tool-python) | |
| RUN apt-get update && apt-get install -y \ | |
| default-jre \ | |
| && rm -rf /var/lib/apt/lists/* | |
| # Install any needed packages specified in requirements.txt | |
| COPY requirements.txt /app/requirements.txt | |
| RUN pip install --no-cache-dir -r requirements.txt | |
| # Make port 7860 available to the world outside this container (default Gradio port) | |
| EXPOSE 7860 | |
| # Run Gradio app (replace 'app.py' with your actual app script name) | |
| CMD ["python", "app.py"] | |