48 lines
1.6 KiB
Docker
48 lines
1.6 KiB
Docker
FROM jupyter/notebook:stable
|
|
MAINTAINER gheber <gheber@hdfgroup.org>
|
|
|
|
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.3/sbcl-1.3.3-x86-64-linux-binary.tar.bz2 \
|
|
&& tar -jxvf sbcl-1.3.3-x86-64-linux-binary.tar.bz2 \
|
|
&& cd sbcl-1.3.3-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 echo '#-quicklisp' >> /root/.sbclrc
|
|
RUN echo '(let ((quicklisp-init (merge-pathnames "quicklisp/setup.lisp"' >> /root/.sbclrc
|
|
RUN echo ' (user-homedir-pathname))))' >> /root/.sbclrc
|
|
RUN echo ' (when (probe-file quicklisp-init)' >> /root/.sbclrc
|
|
RUN echo ' (load quicklisp-init)))' >> /root/.sbclrc
|
|
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
|
|
|
|
# Kenzo
|
|
|
|
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
|
|
|
|
RUN sbcl --eval "(ql:quickload :kenzo)"
|
|
RUN sbcl --eval "(require 'asdf)" --eval "(require 'kenzo)"
|