mmarco/kenzo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Preload and initialize Kenzo.

Browse Source
This commit is contained in:
Gerd Heber 2016-03-05 13:10:23 -05:00
parent 7102d88cc1
commit abf667e699
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
Dockerfile
View File

@ -36,6 +36,8 @@ RUN wget -nv https://github.com/fredokun/cl-jupyter/archive/master.zip \
&& python3 /root/cl-jupyter-master/install-cl-jupyter.py \
&& sbcl --load /root/cl-jupyter-master/cl-jupyter.lisp --non-interactive
RUN ln -s /root/cl-jupyter-master/src /root/quicklisp/local-projects/cl-jupyter
# Kenzo
RUN wget https://github.com/gheber/kenzo/archive/master.zip \
@ -43,5 +45,8 @@ RUN wget https://github.com/gheber/kenzo/archive/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)"
RUN echo '(ql:quickload :cl-jupyter)' >> /root/.sbclrc
RUN echo '(ql:quickload :kenzo)' >> /root/.sbclrc
RUN echo '(use-package :cat :cl-jupyter-user)' >> /root/.sbclrc
RUN echo '(cat:cat-init)' >> /root/.sbclrc
RUN sbcl --eval "(require 'asdf)"