camkes: re-add lib32stdc++-10-dev

ef7632c removed lib32stdc++-10-dev, but it is still needed for the 32bit CamkES Linux VMM. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Jun 13, 2024 · 3a1d4b8 · 3a1d4b8
1 parent cb742b5
commit 3a1d4b8
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/scripts/camkes.sh b/scripts/camkes.sh
@@ -37,13 +37,16 @@ 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 \
     linux-libc-dev-i386-cross \
     linux-libc-dev:i386 \
     pkg-config \
     spin \
+    lib32stdc++-10-dev \
     # end of list
 
 # Required for testing