File size: 830 Bytes
df8500e a742828 df8500e a742828 3ef37b3 df8500e a742828 df8500e 3ef37b3 abf597c |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 |
FROM h4ckermike/lang_agent:dev
FROM h4ckermike/unimath-coq-trace-batch2:test1
FROM python:3.8.9
# lang agent
COPY --from=0 /home/opam/ /home/opam/
COPY --from=0 /lang_agent/ /lang_agent/
COPY --from=1 /data /data #from unimath
WORKDIR /app
COPY ./requirements.txt /app/requirements.txt
COPY ./packages.txt /app/packages.txt
RUN apt-get update && xargs -r -a /app/packages.txt apt-get install -y && rm -rf /var/lib/apt/lists/*
RUN pip3 install --no-cache-dir -r /app/requirements.txt
# User
RUN useradd -m -u 1000 user
USER user
ENV HOME /home/user
ENV PATH $HOME/.local/bin:$PATH
WORKDIR $HOME
RUN mkdir app
WORKDIR $HOME/app
COPY . $HOME/app
EXPOSE 8501
CMD streamlit run app.py \
--server.headless true \
--server.enableCORS false \
--server.enableXsrfProtection false \
--server.fileWatcherType none
|