diff options
| author | Marius Bakke <marius@gnu.org> | 2022-07-21 16:34:29 +0200 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2022-07-23 19:43:11 +0200 |
| commit | 9fcc169d6c548ba464c660a91c3e75a4350f38f9 (patch) | |
| tree | ec3dcd853887bef199098a7f16442b051ccb84fe /gnu/packages/pretty-print.scm | |
| parent | e9bac3e872f72eae5624e30d8ef3a0edd0113100 (diff) | |
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.
Diffstat (limited to 'gnu/packages/pretty-print.scm')
| -rw-r--r-- | gnu/packages/pretty-print.scm | 1 |
1 files changed, 1 insertions, 0 deletions
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")))) |