diff options
| author | A. Wilcox <AWilcox@Wilcox-Tech.com> | 2024-05-30 20:33:42 -0500 |
|---|---|---|
| committer | A. Wilcox <AWilcox@Wilcox-Tech.com> | 2024-08-07 10:08:19 -0500 |
| commit | c3ff0fdee8d876970f78822c2acb387da44f9970 (patch) | |
| tree | 745f25871d4c735260e362ccf6e5d15c8ba8619b /user/supertux/zip-header.patch | |
| parent | 25008015b19084d2b8859341d9486bea9bb5ede8 (diff) | |
| download | packages-c3ff0fdee8d876970f78822c2acb387da44f9970.tar.gz packages-c3ff0fdee8d876970f78822c2acb387da44f9970.tar.bz2 packages-c3ff0fdee8d876970f78822c2acb387da44f9970.tar.xz packages-c3ff0fdee8d876970f78822c2acb387da44f9970.zip | |
user/supertux: Fix missing header
Patch from upstream.
Diffstat (limited to 'user/supertux/zip-header.patch')
| -rw-r--r-- | user/supertux/zip-header.patch | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/user/supertux/zip-header.patch b/user/supertux/zip-header.patch new file mode 100644 index 000000000..b02e74d0e --- /dev/null +++ b/user/supertux/zip-header.patch @@ -0,0 +1,30 @@ +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 |