From a29290db58430605ee455d48015fbf02276aaf0e Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Thu, 13 Jun 2024 15:50:14 +1000
Subject: [PATCH] camkes: re-add lib32stdc++-10-dev

ef7632ca29 removed lib32stdc++-10-dev, but it is still needed for the
32bit CamkES Linux VMM.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
---
 scripts/camkes.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/scripts/camkes.sh b/scripts/camkes.sh
index c8878d2..b08847c 100644
--- a/scripts/camkes.sh
+++ b/scripts/camkes.sh
@@ -37,6 +37,8 @@ possibly_toggle_apt_snapshot
 as_root dpkg --add-architecture i386
 as_root dpkg --add-architecture arm64
 as_root apt-get update -q
+
+# lib32stdc++-10-dev for 32-bit Linux VMM
 as_root apt-get install -y --no-install-recommends \
     acl \
     fakeroot \
@@ -44,6 +46,8 @@ as_root apt-get install -y --no-install-recommends \
     linux-libc-dev:i386 \
     pkg-config \
     spin \
+    lib32stdc++-10-dev:i386-cross \
+    lib32stdc++-10-dev:i386 \
     # end of list
 
 # Required for testing