File size: 541 Bytes
46cf5ec |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 |
# Base image with Python
FROM python:3.10-slim
# Install Java (required for language_tool_python)
RUN apt-get update && apt-get install -y openjdk-11-jdk && rm -rf /var/lib/apt/lists/*
# Set JAVA_HOME environment variable
ENV JAVA_HOME=/usr/lib/jvm/java-11-openjdk-amd64/
ENV PATH=$JAVA_HOME/bin:$PATH
# Copy the application code to the container
COPY . /app
WORKDIR /app
# Install Python dependencies
RUN pip install -r requirements.txt
# Expose port 7860 for the Gradio app
EXPOSE 7860
# Run the application
CMD ["python", "app.py"]
|