From 51b24d1c23996867eecfd5db6b29911a07608cfd Mon Sep 17 00:00:00 2001 From: Maxim Biro Date: Sat, 13 Jul 2024 09:05:18 -0400 Subject: [PATCH] chore: Run CompCert on the stable branch of libsodium The master branch might include staging code that is subject to change, e.g. code including VLAs, which CompCert does not support and thus would fail on, which will be changed to not use VLAs once merged into the stable branch. See https://github.com/jedisct1/libsodium/pull/1188#issuecomment-2221660989 --- other/docker/compcert/compcert.Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/other/docker/compcert/compcert.Dockerfile b/other/docker/compcert/compcert.Dockerfile index 567ea786c5..90f16edf6f 100644 --- a/other/docker/compcert/compcert.Dockerfile +++ b/other/docker/compcert/compcert.Dockerfile @@ -13,7 +13,7 @@ COPY --from=sources /src/ /work/ SHELL ["/bin/bash", "-o", "pipefail", "-c"] -RUN git clone --depth=1 https://github.com/jedisct1/libsodium /work/libsodium +RUN git clone --depth=1 --branch=stable https://github.com/jedisct1/libsodium /work/libsodium COPY other/docker/compcert/Makefile /work/ RUN make "-j$(nproc)" RUN ./send_message_test | grep 'tox clients connected'