Updated Docker config.

This commit is contained in:
Gerd Heber 2016-11-24 03:08:00 -05:00
parent 333df40667
commit 7b5b450b1f

View File

@ -11,9 +11,9 @@ RUN DEBIAN_FRONTEND=noninteractive apt-get install texlive-generic-recommended
# SBCL # SBCL
RUN wget -nv http://downloads.sourceforge.net/project/sbcl/sbcl/1.3.7/sbcl-1.3.7-x86-64-linux-binary.tar.bz2 \ RUN wget -nv http://downloads.sourceforge.net/project/sbcl/sbcl/1.3.11/sbcl-1.3.11-x86-64-linux-binary.tar.bz2 \
&& tar -jxvf sbcl-1.3.7-x86-64-linux-binary.tar.bz2 \ && tar -jxvf sbcl-1.3.11-x86-64-linux-binary.tar.bz2 \
&& cd sbcl-1.3.7-x86-64-linux \ && cd sbcl-1.3.11-x86-64-linux \
&& sh install.sh && sh install.sh
# Quicklisp # Quicklisp