mirror of
https://github.com/jupyter/docker-stacks.git
synced 2025-10-18 07:22:57 +00:00
Merge pull request #1149 from ImreSamu/julia_1_5_0
update to julia 1.5.0
This commit is contained in:
@@ -26,14 +26,14 @@ RUN apt-get update && \
|
|||||||
# install Julia packages in /opt/julia instead of $HOME
|
# install Julia packages in /opt/julia instead of $HOME
|
||||||
ENV JULIA_DEPOT_PATH=/opt/julia
|
ENV JULIA_DEPOT_PATH=/opt/julia
|
||||||
ENV JULIA_PKGDIR=/opt/julia
|
ENV JULIA_PKGDIR=/opt/julia
|
||||||
ENV JULIA_VERSION=1.4.1
|
ENV JULIA_VERSION=1.5.0
|
||||||
|
|
||||||
WORKDIR /tmp
|
WORKDIR /tmp
|
||||||
|
|
||||||
# hadolint ignore=SC2046
|
# hadolint ignore=SC2046
|
||||||
RUN mkdir "/opt/julia-${JULIA_VERSION}" && \
|
RUN mkdir "/opt/julia-${JULIA_VERSION}" && \
|
||||||
wget -q https://julialang-s3.julialang.org/bin/linux/x64/$(echo "${JULIA_VERSION}" | cut -d. -f 1,2)"/julia-${JULIA_VERSION}-linux-x86_64.tar.gz" && \
|
wget -q https://julialang-s3.julialang.org/bin/linux/x64/$(echo "${JULIA_VERSION}" | cut -d. -f 1,2)"/julia-${JULIA_VERSION}-linux-x86_64.tar.gz" && \
|
||||||
echo "fd6d8cadaed678174c3caefb92207a3b0e8da9f926af6703fb4d1e4e4f50610a *julia-${JULIA_VERSION}-linux-x86_64.tar.gz" | sha256sum -c - && \
|
echo "be7af676f8474afce098861275d28a0eb8a4ece3f83a11027e3554dcdecddb91 *julia-${JULIA_VERSION}-linux-x86_64.tar.gz" | sha256sum -c - && \
|
||||||
tar xzf "julia-${JULIA_VERSION}-linux-x86_64.tar.gz" -C "/opt/julia-${JULIA_VERSION}" --strip-components=1 && \
|
tar xzf "julia-${JULIA_VERSION}-linux-x86_64.tar.gz" -C "/opt/julia-${JULIA_VERSION}" --strip-components=1 && \
|
||||||
rm "/tmp/julia-${JULIA_VERSION}-linux-x86_64.tar.gz"
|
rm "/tmp/julia-${JULIA_VERSION}-linux-x86_64.tar.gz"
|
||||||
RUN ln -fs /opt/julia-*/bin/julia /usr/local/bin/julia
|
RUN ln -fs /opt/julia-*/bin/julia /usr/local/bin/julia
|
||||||
|
Reference in New Issue
Block a user