path: root/user/supertux/zip-header.patch

From 81809dd5e6f611b1d64d952f6d96310bcc9c5fca Mon Sep 17 00:00:00 2001
From: Semphris <semphris@protonmail.com>
Date: Fri, 17 Jun 2022 12:36:26 -0400
Subject: [PATCH] Fix problem with GCC 11 and Partio's ZIP manager (missing
 #include <memory>)

Closes #2219 on GitHub. Same fix, but puts the include closer to the copyright header.
---
 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 <memory>
+
+// =============================================================================
 
-NOTE: This file was edited for purposes of compatibility with SuperTux.
+/*
 
 PARTIO SOFTWARE
 Copyright 2010 Disney Enterprises, Inc. All rights reserved