63 lines
1.9 KiB
Plaintext
63 lines
1.9 KiB
Plaintext
FROM debian:%%TAG%%
|
|
|
|
RUN set -eux; \
|
|
apt-get update; \
|
|
apt-get install -y --no-install-recommends \
|
|
ca-certificates \
|
|
# ERROR: no download agent available; install curl, wget, or fetch
|
|
curl \
|
|
; \
|
|
rm -rf /var/lib/apt/lists/*
|
|
|
|
ENV JULIA_PATH /usr/local/julia
|
|
ENV PATH $JULIA_PATH/bin:$PATH
|
|
|
|
# https://julialang.org/juliareleases.asc
|
|
# Julia (Binary signing key) <buildbot@julialang.org>
|
|
ENV JULIA_GPG 3673DF529D9049477F76B37566E3C7DC03D6E495
|
|
|
|
# https://julialang.org/downloads/
|
|
ENV JULIA_VERSION %%JULIA_VERSION%%
|
|
|
|
RUN set -eux; \
|
|
\
|
|
savedAptMark="$(apt-mark showmanual)"; \
|
|
if ! command -v gpg > /dev/null; then \
|
|
apt-get update; \
|
|
apt-get install -y --no-install-recommends \
|
|
gnupg \
|
|
dirmngr \
|
|
; \
|
|
rm -rf /var/lib/apt/lists/*; \
|
|
fi; \
|
|
\
|
|
# https://julialang.org/downloads/#julia-command-line-version
|
|
# https://julialang-s3.julialang.org/bin/checksums/julia-%%JULIA_VERSION%%.sha256
|
|
# this "case" statement is generated via "update.sh"
|
|
%%ARCH-CASE%%; \
|
|
\
|
|
folder="$(echo "$JULIA_VERSION" | cut -d. -f1-2)"; \
|
|
curl -fL -o julia.tar.gz.asc "https://julialang-s3.julialang.org/bin/linux/${dirArch}/${folder}/julia-${JULIA_VERSION}-linux-${tarArch}.tar.gz.asc"; \
|
|
curl -fL -o julia.tar.gz "https://julialang-s3.julialang.org/bin/linux/${dirArch}/${folder}/julia-${JULIA_VERSION}-linux-${tarArch}.tar.gz"; \
|
|
\
|
|
echo "${sha256} *julia.tar.gz" | sha256sum -c -; \
|
|
\
|
|
export GNUPGHOME="$(mktemp -d)"; \
|
|
gpg --batch --keyserver keyserver.ubuntu.com --recv-keys "$JULIA_GPG"; \
|
|
gpg --batch --verify julia.tar.gz.asc julia.tar.gz; \
|
|
command -v gpgconf > /dev/null && gpgconf --kill all; \
|
|
rm -rf "$GNUPGHOME" julia.tar.gz.asc; \
|
|
\
|
|
mkdir "$JULIA_PATH"; \
|
|
tar -xzf julia.tar.gz -C "$JULIA_PATH" --strip-components 1; \
|
|
rm julia.tar.gz; \
|
|
\
|
|
apt-mark auto '.*' > /dev/null; \
|
|
[ -z "$savedAptMark" ] || apt-mark manual $savedAptMark; \
|
|
apt-get purge -y --auto-remove -o APT::AutoRemove::RecommendsImportant=false; \
|
|
\
|
|
# smoke test
|
|
julia --version
|
|
|
|
CMD ["julia"]
|