Spaces:

File size: 395 Bytes
72fe0e3
4242e42
e4c1e59
70160e7
6b78a54
4242e42
a3df185
4242e42
6878ab3
41550fb
38bc588
89e4920
 
5a8893f
 
4242e42
 
8191f5e
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
FROM swipl

RUN apt-get update
RUN apt-get install -y gcc python3-all python3-dev python3-venv

WORKDIR /app
COPY . /app

RUN python3 -m venv /app/env
ENV PATH="/app/env/bin:$PATH"
RUN pip install --no-cache-dir --upgrade pip
RUN pip install --no-cache-dir --upgrade -r requirements.txt

RUN touch tmp.pl && chmod 666 tmp.pl

EXPOSE 7860
ENV GRADIO_SERVER_NAME="0.0.0.0"
CMD ["python", "app.py"]