1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
From 81809dd5e6f611b1d64d952f6d96310bcc9c5fca Mon Sep 17 00:00:00 2001
From: Semphris <semphris@protonmail.com>
Date: Fri, 17 Jun 2022 12:36:26 -0400
Bug-Debian: https://bugs.debian.org/1013045
Forwarded: https://github.com/SuperTux/supertux/pull/2219
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 666884dda5..245303c76b 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
|
