From d15b7226b3b1df0e6661bfeffbfa28ab5fcd6514 Mon Sep 17 00:00:00 2001
From: Doron Behar <doron.behar@gmail.com>
Date: Sun, 28 Jul 2024 10:28:51 +0300
Subject: [PATCH] gnuradio3_9: try to fix build by disabling doxygen

Encounteres an error gnuradio3_8 also experiences when volkExternal ==
volk (3.1.2).
---
 pkgs/applications/radio/gnuradio/3.9.nix | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/pkgs/applications/radio/gnuradio/3.9.nix b/pkgs/applications/radio/gnuradio/3.9.nix
index 80be5b79c8aa..faa4d2e25f6b 100644
--- a/pkgs/applications/radio/gnuradio/3.9.nix
+++ b/pkgs/applications/radio/gnuradio/3.9.nix
@@ -11,7 +11,6 @@
 , boost
 , log4cpp
 , mpir
-, doxygen
 , python
 , codec2
 , gsm
@@ -70,10 +69,6 @@ let
         six
       ];
     };
-    doxygen = {
-      native = [ doxygen ];
-      cmakeEnableFlag = "DOXYGEN";
-    };
     man-pages = {
       cmakeEnableFlag = "MANPAGES";
     };