diff --git a/Dockerfile b/Dockerfile new file mode 100644 index 0000000..3659b54 --- /dev/null +++ b/Dockerfile @@ -0,0 +1,11 @@ +FROM sergiobuj/cl-jupyter +MAINTAINER gheber + +RUN apt-get update + +# Update Quicklisp and install Kenzo +RUN sbcl --eval "(ql:update-client)" +RUN sbcl --eval "(ql:update-all-dists)" +RUN sbcl --eval "(ql:quickload :kenzo)" + +RUN cp /root/quicklisp/dists/quicklisp/software/kenzo-*-git/examples/*.ipynb /notebooks/