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 <gerwin.klein@proofcraft.systems>
seL4 · Jul 11, 2024 · 7972500 · 7972500
1 parent 25280e7
commit 7972500
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:amd64 \
     # end of list
 
 # Required for testing