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

Added missing exports.

Browse Source
This commit is contained in:
Gerd Heber 2016-03-02 08:52:24 -05:00
parent d1d370a56e
commit f74f118e57
2 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Dockerfile
View File

@ -44,3 +44,4 @@ RUN wget https://github.com/gheber/kenzo/archive/master.zip \
RUN mv /root/quicklisp/local-projects/kenzo-master /root/quicklisp/local-projects/kenzo RUN mv /root/quicklisp/local-projects/kenzo-master /root/quicklisp/local-projects/kenzo
RUN sbcl --eval "(ql:quickload :kenzo)" RUN sbcl --eval "(ql:quickload :kenzo)"
RUN sbcl --eval "(require 'asdf)" --eval "(require 'kenzo)"

2
package.lisp
View File

@ -11,6 +11,7 @@
#:*BC* #:*BC*
#:*BDD* #:*BDD*
#:*CMBN-CONTROL* #:*CMBN-CONTROL*
#:*CHCM-LIST*
#:*DF-FD* #:*DF-FD*
#:*DG-GD* #:*DG-GD*
#:*FH* #:*FH*
@ -20,6 +21,7 @@
#:*ID-FG* #:*ID-FG*
#:*ID-GF-DH-HD* #:*ID-GF-DH-HD*
#:*LIST-LIST* #:*LIST-LIST*
#:*MRPH-LIST*
#:*RESULTS-VERBOSE* #:*RESULTS-VERBOSE*
#:*TC* #:*TC*
#:*TDD* #:*TDD*