From 206d7d172f23e1ee2b1160b88677c0aa3b599306 Mon Sep 17 00:00:00 2001 From: Gerd Heber Date: Sat, 2 Apr 2016 05:19:19 -0400 Subject: [PATCH] Kenzo updates and SBCL 1.3.4. --- Dockerfile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Dockerfile b/Dockerfile index ca096d3..2c101fb 100644 --- a/Dockerfile +++ b/Dockerfile @@ -11,9 +11,9 @@ 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 \ +RUN wget -nv http://downloads.sourceforge.net/project/sbcl/sbcl/1.3.4/sbcl-1.3.4-x86-64-linux-binary.tar.bz2 \ + && tar -jxvf sbcl-1.3.4-x86-64-linux-binary.tar.bz2 \ + && cd sbcl-1.3.4-x86-64-linux \ && sh install.sh # Quicklisp