Spaces:
Running
Running
# This builds a dockerfile containing a working copy of PySR | |
# with all pre-requisites installed. | |
ARG JLVERSION=1.10.4 | |
ARG PYVERSION=3.12.2 | |
ARG BASE_IMAGE=bullseye | |
FROM julia:${JLVERSION}-${BASE_IMAGE} AS jl | |
FROM python:${PYVERSION}-${BASE_IMAGE} | |
# Merge Julia image: | |
COPY --from=jl /usr/local/julia /usr/local/julia | |
ENV PATH="/usr/local/julia/bin:${PATH}" | |
# Install font used for GUI | |
RUN mkdir -p /usr/local/share/fonts/IBM_Plex_Mono && \ | |
curl -L https://github.com/IBM/plex/releases/download/v6.4.0/IBM-Plex-Mono.zip -o /tmp/IBM_Plex_Mono.zip && \ | |
unzip /tmp/IBM_Plex_Mono.zip -d /usr/local/share/fonts/IBM_Plex_Mono && \ | |
rm /tmp/IBM_Plex_Mono.zip | |
RUN fc-cache -f -v | |
# Set up a new user named "user" with user ID 1000 | |
RUN useradd -m -u 1000 user | |
USER user | |
WORKDIR /home/user/ | |
ENV HOME=/home/user | |
ENV PATH=/home/user/.local/bin:$PATH | |
RUN python -m venv $HOME/.venv | |
ENV PYTHON="${HOME}/.venv/bin/python" | |
ENV PIP="${PYTHON} -m pip" | |
ENV PATH="${HOME}/.venv/bin:${PATH}" | |
WORKDIR $HOME/pysr | |
# Install all requirements, and then PySR itself | |
COPY --chown=user ./requirements.txt $HOME/pysr/requirements.txt | |
RUN $PIP install --no-cache-dir -r $HOME/pysr/requirements.txt | |
COPY --chown=user ./pyproject.toml $HOME/pysr/pyproject.toml | |
COPY --chown=user ./setup.py $HOME/pysr/setup.py | |
COPY --chown=user ./pysr $HOME/pysr/pysr | |
RUN $PIP install --no-cache-dir ".[gui]" | |
# Install Julia pre-requisites: | |
RUN $PYTHON -c 'import pysr' | |
COPY --chown=user ./gui/*.py $HOME/pysr/gui/ | |
EXPOSE 7860 | |
ENV GRADIO_ALLOW_FLAGGING=never \ | |
GRADIO_NUM_PORTS=1 \ | |
GRADIO_SERVER_NAME=0.0.0.0 \ | |
GRADIO_THEME=huggingface \ | |
SYSTEM=spaces | |
# metainformation | |
LABEL org.opencontainers.image.authors = "Miles Cranmer" | |
LABEL org.opencontainers.image.source = "https://github.com/MilesCranmer/PySR" | |
LABEL org.opencontainers.image.licenses = "Apache License 2.0" | |
CMD ["/home/user/.venv/bin/python", "/home/user/pysr/gui/app.py"] | |