From 50279cbf173b258bcd2d0373d08c40c7af388bfa Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Wed, 15 May 2024 00:12:45 +0800
Subject: [PATCH] docker image: include cvc5 in the future for what4 testsuite

https://github.com/GaloisInc/what4/issues/262

[skip ci]
---
 docker/02-apt-get-install.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docker/02-apt-get-install.sh b/docker/02-apt-get-install.sh
index f772dd8d..e65a6ff3 100755
--- a/docker/02-apt-get-install.sh
+++ b/docker/02-apt-get-install.sh
@@ -18,6 +18,7 @@ apt-get install -y \
     cmake \
     coinor-libclp-dev \
     curl \
+    cvc5 \
     dvipng \
     freeglut3-dev \
     freetds-dev \