FROM debian:jessie

RUN apt-get update \

&& apt-get install -y --no-install-recommends ca-certificates \

&& rm -rf /var/lib/apt/lists/*

ENV JULIA_PATH /usr/local/julia

ENV JULIA_VERSION 0.5.0

RUN mkdir $JULIA_PATH \

&& apt-get update && apt-get install -y curl \

&& curl -sSL "https://julialang.s3.amazonaws.com/bin/linux/x64/${JULIA_VERSION%[.-]*}/julia-${JULIA_VERSION}-linux-x86_64.tar.gz" -o julia.tar.gz \

&& curl -sSL "https://julialang.s3.amazonaws.com/bin/linux/x64/${JULIA_VERSION%[.-]*}/julia-${JULIA_VERSION}-linux-x86_64.tar.gz.asc" -o julia.tar.gz.asc \

&& export GNUPGHOME="$(mktemp -d)" \

&& gpg --keyserver ha.pool.sks-keyservers.net --recv-keys 3673DF529D9049477F76B37566E3C7DC03D6E495 \

&& gpg --batch --verify julia.tar.gz.asc julia.tar.gz \

&& rm -r "$GNUPGHOME" julia.tar.gz.asc \

&& tar -xzf julia.tar.gz -C $JULIA_PATH --strip-components 1 \

&& rm -rf /var/lib/apt/lists/* julia.tar.gz*

ENV PATH $JULIA_PATH/bin:$PATH

CMD ["julia"]