From 56ff67b50b27e54296af0c2ebc572f55b8e9703c Mon Sep 17 00:00:00 2001 From: Michael Nosthoff Date: Tue, 7 Apr 2026 14:34:14 +0200 Subject: [PATCH] package/supertux: fix build with gcc > 11 Fixes: "missing #include " when building with GCC > 11. Signed-off-by: Michael Nosthoff Signed-off-by: Romain Naour --- package/supertux/0001-fix-gcc11-build.patch | 33 +++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 package/supertux/0001-fix-gcc11-build.patch diff --git a/package/supertux/0001-fix-gcc11-build.patch b/package/supertux/0001-fix-gcc11-build.patch new file mode 100644 index 0000000000..d5ada531c6 --- /dev/null +++ b/package/supertux/0001-fix-gcc11-build.patch @@ -0,0 +1,33 @@ +From 81809dd5e6f611b1d64d952f6d96310bcc9c5fca Mon Sep 17 00:00:00 2001 +From: Semphris +Date: Fri, 17 Jun 2022 12:36:26 -0400 +Subject: [PATCH] Fix problem with GCC 11 and Partio's ZIP manager (missing + #include ) + +Closes #2219 on GitHub. Same fix, but puts the include closer to the copyright header. + +Upstream: https://github.com/SuperTux/supertux/commit/81809dd5e6f611b1d64d952f6d96310bcc9c5fca +Signed-off-by: Michael Nosthoff +--- + external/partio_zip/zip_manager.hpp | 8 ++++++-- + 1 file changed, 6 insertions(+), 2 deletions(-) + +diff --git a/external/partio_zip/zip_manager.hpp b/external/partio_zip/zip_manager.hpp +index 666884dda53..245303c76be 100644 +--- a/external/partio_zip/zip_manager.hpp ++++ b/external/partio_zip/zip_manager.hpp +@@ -1,8 +1,12 @@ + // SOURCE: https://github.com/wdas/partio/blob/main/src/lib/io/ZIP.h ++// NOTE: This file was edited for purposes of compatibility with SuperTux. + +-/* ++// This include has been added to fix a problem with GCC 11+ (and maybe 10) ++#include ++ ++// ============================================================================= + +-NOTE: This file was edited for purposes of compatibility with SuperTux. ++/* + + PARTIO SOFTWARE + Copyright 2010 Disney Enterprises, Inc. All rights reserved