[PATCH] Install recent rustc in Debian stable

["Marc Poulhiès" <dkm@kataplop.net>]

Debian stable container is used for building all GCC frontends, except
for rust (gccrs) because Debian's rustc is too old for the few
dependencies the frontend has.

Installing a more recent rustc allows the building of the
frontend (until it can self-host).

Signed-off-by: Marc Poulhiès <dkm@kataplop.net>
---
 builder/containers/Containerfile-debian-stable | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/builder/containers/Containerfile-debian-stable b/builder/containers/Containerfile-debian-stable
index b2e7614..9f77599 100644
--- a/builder/containers/Containerfile-debian-stable
+++ b/builder/containers/Containerfile-debian-stable
@@ -39,4 +39,10 @@ RUN wget -O /home/builder/bb-start.sh \
 # And now run the script
 USER builder
 WORKDIR /home/builder
+
+# Rust from Debian stable is too old to build the small dependencies of GCCRS
+# The project currently use 1.72.0, so install and use the same.
+RUN (curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y --default-toolchain=1.72.0 --no-modify-path)
+ENV PATH="/home/builder/.cargo/bin:${PATH}"
+
 ENTRYPOINT /home/builder/bb-start.sh
-- 
2.42.0