diff options
| author | Chuang Zhu <git@chuang.cz> | 2024-01-28 20:44:18 +0800 |
|---|---|---|
| committer | Doron Behar <doron.behar@gmail.com> | 2024-01-29 15:56:12 +0200 |
| commit | 1e1e90e32771c031b757128d7a246a41f0005cbf (patch) | |
| tree | 4572407811044754c8aeae8ab6d98cfd9a20546e | |
| parent | 91171b3b62d22c864636af7ed12b9e1392131b8c (diff) | |
gnuradio3_9Minimal: fix compilation with gcc 13
| -rw-r--r-- | pkgs/applications/radio/gnuradio/3.9.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/pkgs/applications/radio/gnuradio/3.9.nix b/pkgs/applications/radio/gnuradio/3.9.nix index 62ee880ce2be2..606681b1d6c83 100644 --- a/pkgs/applications/radio/gnuradio/3.9.nix +++ b/pkgs/applications/radio/gnuradio/3.9.nix @@ -1,4 +1,5 @@ { lib, stdenv +, fetchpatch , fetchFromGitHub , cmake # Remove gcc and python references @@ -277,6 +278,11 @@ stdenv.mkDerivation (finalAttrs: (shared // { patches = [ # Not accepted upstream, see https://github.com/gnuradio/gnuradio/pull/5227 ./modtool-newmod-permissions.3_9.patch + # Fix compilation with GCC 13 + (fetchpatch { + url = "https://github.com/gnuradio/gnuradio/commit/fe1b3592776c26e349e9985d47d3178568dfe6ec.patch"; + hash = "sha256-bu6fJuUo/i4kM+cZqSw8moB0ymoSVooLfwUIW+WDpWI="; + }) ]; passthru = shared.passthru // { # Deps that are potentially overridden and are used inside GR plugins - the same version must |