FROM andrewosh/binder-base
USER root
# Add Julia dependencies
RUN apt-get update
RUN apt-get install -y julia libnettle4 && apt-get clean
USER main
# Install Julia kernel
RUN julia -e 'Pkg.add("IJulia")'
ADD verify verify