2022-04-07 21:25:37 +00:00
|
|
|
FROM julia:1.6-bullseye
|
2022-03-30 22:22:55 +00:00
|
|
|
|
|
|
|
ENV JULIA_DEPOT_PATH="/usr/local/share/julia"
|
|
|
|
|
|
|
|
RUN \
|
|
|
|
apt-get update && \
|
|
|
|
apt-get install -y --no-install-recommends procps && \
|
|
|
|
rm -rf /var/lib/apt/lists/* && \
|
|
|
|
apt-get purge -y --auto-remove -o APT::AutoRemove::RecommendsImportant=false
|
|
|
|
|
|
|
|
COPY Project.toml /
|
|
|
|
COPY Manifest.toml /
|
|
|
|
|
|
|
|
RUN julia -e 'using Pkg; Pkg.instantiate()'
|
2022-04-07 21:24:47 +00:00
|
|
|
RUN julia --project=/ -e 'using Pkg; Pkg.instantiate(); Pkg.up()'
|
2022-03-30 22:22:55 +00:00
|
|
|
RUN \
|
|
|
|
mv /Project.toml ${JULIA_DEPOT_PATH}/environments/v1.6/ && \
|
|
|
|
mv /Manifest.toml ${JULIA_DEPOT_PATH}/environments/v1.6/
|
|
|
|
|
|
|
|
CMD [ "julia" ]
|