From a5c1e6fc81ef990c56305fe10deccf55373afd30 Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Thu, 7 May 2026 10:11:26 +0200
Subject: libstdc++: install python pretty printers

---
 Makefile                         | 2 +-
 scripts/0500-build-target-gcc.sh | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 103b11b..44e3c6b 100644
--- a/Makefile
+++ b/Makefile
@@ -22,7 +22,7 @@ PLATFORM ?= x86-64
 
 REGISTRY ?= registry.gitlab.ost.ch:45023
 
-IMAGE_BUILD ?= 2
+IMAGE_BUILD ?= 3
 
 IMAGE_BASENAME = teachos/devcontainers
 IMAGE_NAME = $(REGISTRY)/$(IMAGE_BASENAME)
diff --git a/scripts/0500-build-target-gcc.sh b/scripts/0500-build-target-gcc.sh
index 47249f9..12d2641 100755
--- a/scripts/0500-build-target-gcc.sh
+++ b/scripts/0500-build-target-gcc.sh
@@ -32,3 +32,5 @@ for COMPONENT in target-libgcc target-libstdc++-v3; do
   make -j$(nproc) all-$COMPONENT
   make install-$COMPONENT
 done
+
+make -C $TARGET/libstdc++-v3/python install
-- 
cgit v1.2.3