From c5c2e9bc27e8cc1f5eadb176c5b2f4bac5296042 Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Fri, 30 Dec 2022 23:10:31 +0800
Subject: [PATCH] bump installed llvm versions to 11-13

22.04 doesn't have llvm 7-9
---
 docker/02-apt-get-install.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/docker/02-apt-get-install.sh b/docker/02-apt-get-install.sh
index eb2602d5..2ac676a3 100755
--- a/docker/02-apt-get-install.sh
+++ b/docker/02-apt-get-install.sh
@@ -123,9 +123,9 @@ apt-get install -y \
     libzip-dev \
     libzmq3-dev \
     libzstd-dev \
-    llvm-7 \
-    llvm-8 \
-    llvm-9 \
+    llvm-11 \
+    llvm-12 \
+    llvm-13 \
     locales \
     m4 \
     minisat \