diff --git a/Dockerfile b/Dockerfile new file mode 100644 index 0000000..65876ca --- /dev/null +++ b/Dockerfile @@ -0,0 +1,20 @@ +FROM julia:1.6.5-bullseye + +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()' +RUN julia --project=/ -e 'using Pkg; Pkg.instantiate()' +RUN \ + mv /Project.toml ${JULIA_DEPOT_PATH}/environments/v1.6/ && \ + mv /Manifest.toml ${JULIA_DEPOT_PATH}/environments/v1.6/ + +CMD [ "julia" ]