# 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"]