diff --git a/Dockerfile b/Dockerfile index 13622b7..388a157 100644 --- a/Dockerfile +++ b/Dockerfile @@ -5,13 +5,21 @@ RUN apt-get update RUN DEBIAN_FRONTEND=noninteractive apt-get -y install wget unzip +# LaTeX (missing bits) + +RUN DEBIAN_FRONTEND=noninteractive apt-get install texlive-generic-recommended + # SBCL -RUN wget -nv http://downloads.sourceforge.net/project/sbcl/sbcl/1.3.2/sbcl-1.3.2-x86-64-linux-binary.tar.bz2 && tar -jxvf sbcl-1.3.2-x86-64-linux-binary.tar.bz2 && cd sbcl-1.3.2-x86-64-linux && sh install.sh +RUN wget -nv http://downloads.sourceforge.net/project/sbcl/sbcl/1.3.2/sbcl-1.3.2-x86-64-linux-binary.tar.bz2 \ + && tar -jxvf sbcl-1.3.2-x86-64-linux-binary.tar.bz2 \ + && cd sbcl-1.3.2-x86-64-linux \ + && sh install.sh # Quicklisp -RUN wget -nv https://beta.quicklisp.org/quicklisp.lisp && sbcl --load quicklisp.lisp --non-interactive --eval "(quicklisp-quickstart:install)" +RUN wget -nv https://beta.quicklisp.org/quicklisp.lisp \ + && sbcl --load quicklisp.lisp --non-interactive --eval "(quicklisp-quickstart:install)" RUN echo '#-quicklisp' >> /root/.sbclrc RUN echo '(let ((quicklisp-init (merge-pathnames "quicklisp/setup.lisp"' >> /root/.sbclrc @@ -22,11 +30,16 @@ RUN echo '(push #p"/workspace/" asdf:*central-registry*)' >> /root/.sbclrc # cl-jupyter -RUN wget -nv https://github.com/fredokun/cl-jupyter/archive/master.zip && unzip master.zip && mv cl-jupyter-master /root && python3 /root/cl-jupyter-master/install-cl-jupyter.py && sbcl --load /root/cl-jupyter-master/cl-jupyter.lisp --non-interactive +RUN wget -nv https://github.com/fredokun/cl-jupyter/archive/master.zip \ + && unzip master.zip \ + && mv cl-jupyter-master /root \ + && python3 /root/cl-jupyter-master/install-cl-jupyter.py \ + && sbcl --load /root/cl-jupyter-master/cl-jupyter.lisp --non-interactive # Kenzo -RUN wget https://github.com/gheber/kenzo/archive/master.zip && unzip master.zip -d /root/quicklisp/local-projects && rm master.zip +RUN wget https://github.com/gheber/kenzo/archive/master.zip \ + && unzip master.zip -d /root/quicklisp/local-projects && rm master.zip RUN mv /root/quicklisp/local-projects/kenzo-master /root/quicklisp/local-projects/kenzo