From 9fcc169d6c548ba464c660a91c3e75a4350f38f9 Mon Sep 17 00:00:00 2001
From: Marius Bakke <marius@gnu.org>
Date: Thu, 21 Jul 2022 16:34:29 +0200
Subject: gnu: source-highlight: Fix build with newer GCC.

* gnu/packages/patches/source-highlight-gcc-compat.patch: New file.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
* gnu/packages/pretty-print.scm (source-highlight)[source](patches): New field.
---
 gnu/packages/pretty-print.scm | 1 +
 1 file changed, 1 insertion(+)

(limited to 'gnu/packages/pretty-print.scm')

diff --git a/gnu/packages/pretty-print.scm b/gnu/packages/pretty-print.scm
index 9745a9ba10..5752942e3b 100644
--- a/gnu/packages/pretty-print.scm
+++ b/gnu/packages/pretty-print.scm
@@ -266,6 +266,7 @@ to @code{IOStreams}.")
       (method url-fetch)
       (uri (string-append "mirror://gnu/src-highlite/source-highlight-"
                           version ".tar.gz"))
+      (patches (search-patches "source-highlight-gcc-compat.patch"))
       (sha256
        (base32
         "148w47k3zswbxvhg83z38ifi85f9dqcpg7icvvw1cm6bg21x4zrs"))))
-- 
cgit v1.2.3