mirror of
https://github.com/jupyter/docker-stacks.git
synced 2025-10-18 23:42:55 +00:00
@@ -18,17 +18,19 @@ RUN apt-get update && \
|
|||||||
# Julia dependencies
|
# Julia dependencies
|
||||||
# install Julia packages in /opt/julia instead of $HOME
|
# install Julia packages in /opt/julia instead of $HOME
|
||||||
ENV JULIA_PKGDIR=/opt/julia
|
ENV JULIA_PKGDIR=/opt/julia
|
||||||
|
ENV JULIA_VERSION=0.6.0
|
||||||
|
|
||||||
RUN . /etc/os-release && \
|
RUN mkdir /opt/julia-${JULIA_VERSION} && \
|
||||||
echo "deb http://ppa.launchpad.net/staticfloat/juliareleases/ubuntu $VERSION_CODENAME main" > /etc/apt/sources.list.d/julia.list && \
|
cd /tmp && \
|
||||||
apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 3D3D3ACC && \
|
wget -q https://julialang.s3.amazonaws.com/bin/linux/x64/`echo $JULIA_VERSION | cut -d. -f 1,2`/julia-${JULIA_VERSION}-linux-x86_64.tar.gz && \
|
||||||
apt-get update && \
|
echo "3a27ea78b06f46701dc4274820d9853789db205bce56afdc7147f7bd6fa83e41 *julia-${JULIA_VERSION}-linux-x86_64.tar.gz" | sha256sum -c - && \
|
||||||
apt-get install -y --no-install-recommends \
|
tar xzf julia-${JULIA_VERSION}-linux-x86_64.tar.gz -C /opt/julia-${JULIA_VERSION} --strip-components=1 && \
|
||||||
julia && \
|
rm /tmp/julia-${JULIA_VERSION}-linux-x86_64.tar.gz
|
||||||
apt-get clean && \
|
RUN ln -fs /opt/julia-*/bin/julia /usr/local/bin/julia
|
||||||
rm -rf /var/lib/apt/lists/* && \
|
|
||||||
# Show Julia where conda libraries are \
|
# Show Julia where conda libraries are \
|
||||||
echo "push!(Libdl.DL_LOAD_PATH, \"$CONDA_DIR/lib\")" >> /usr/etc/julia/juliarc.jl && \
|
RUN mkdir /etc/julia && \
|
||||||
|
echo "push!(Libdl.DL_LOAD_PATH, \"$CONDA_DIR/lib\")" >> /etc/julia/juliarc.jl && \
|
||||||
# Create JULIA_PKGDIR \
|
# Create JULIA_PKGDIR \
|
||||||
mkdir $JULIA_PKGDIR && \
|
mkdir $JULIA_PKGDIR && \
|
||||||
chown $NB_USER $JULIA_PKGDIR && \
|
chown $NB_USER $JULIA_PKGDIR && \
|
||||||
@@ -78,4 +80,3 @@ RUN julia -e 'Pkg.init()' && \
|
|||||||
chmod -R go+rx $CONDA_DIR/share/jupyter && \
|
chmod -R go+rx $CONDA_DIR/share/jupyter && \
|
||||||
rm -rf $HOME/.local && \
|
rm -rf $HOME/.local && \
|
||||||
fix-permissions $JULIA_PKGDIR $CONDA_DIR/share/jupyter
|
fix-permissions $JULIA_PKGDIR $CONDA_DIR/share/jupyter
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user