From 565ef4834dc77a9f21a2d2a52975901d045f45d5 Mon Sep 17 00:00:00 2001
From: Shiro Kawai <shiro@acm.org>
Date: Sat, 5 Oct 2024 16:10:11 -1000
Subject: [PATCH] ccl: 1.12.1 -> 1.13

CCL 1.13 binary depends on newer version of glibc, so the base image
is also switched to Debian 12.
---
 ccl/Dockerfile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/ccl/Dockerfile b/ccl/Dockerfile
index b1f9584..1092877 100644
--- a/ccl/Dockerfile
+++ b/ccl/Dockerfile
@@ -1,10 +1,10 @@
-FROM debian:11
+FROM debian:12
 
 LABEL org.opencontainers.image.source=https://github.com/coalton-lang/base-images
 LABEL org.opencontainers.image.description="CCL base image for Coalton CI"
 LABEL org.opencontainers.image.licenses=MIT
 
-ARG CCL_VERSION=1.12.1
+ARG CCL_VERSION=1.13
 
 # Install dependencies
 ARG DEBIAN_FRONTEND=noninteractive
@@ -19,7 +19,7 @@ WORKDIR /src
 # Download and install ccl
 RUN curl -L -o ccl-binary.tar.gz https://github.com/Clozure/ccl/releases/download/v${CCL_VERSION}/ccl-${CCL_VERSION}-linuxx86.tar.gz \
   && tar xf ccl-binary.tar.gz -C /usr/local/src \
-  && rm ccl-binary.tar.gz 
+  && rm ccl-binary.tar.gz
 
 ENV PATH=/usr/local/src/ccl/scripts:${PATH}