Upgrade Clozure-CL in the Dockerfile.ccl.

This commit is contained in:
Dimitri Fontaine 2022-08-18 14:01:03 +02:00
parent 755b55d2b3
commit 696617d930
No known key found for this signature in database
GPG Key ID: 38096AB1A90BF6D4

View File

@ -21,7 +21,7 @@ FROM debian:stable-slim as builder
cl-babel \
&& rm -rf /var/lib/apt/lists/*
RUN curl -SL https://github.com/Clozure/ccl/releases/download/v1.11.5/ccl-1.11.5-linuxx86.tar.gz \
RUN curl -SL https://github.com/Clozure/ccl/releases/download/v1.12/ccl-1.12-linuxx86.tar.gz \
| tar xz -C /usr/local/src/ \
&& mv /usr/local/src/ccl/scripts/ccl64 /usr/local/bin/ccl