gnuradio3_9: try to fix build by disabling doxygen

Encounteres an error gnuradio3_8 also experiences when volkExternal == volk (3.1.2).
2024-07-31 12:21:32 +03:00
parent 61a18c5508
commit d15b7226b3
1 changed files with 0 additions and 5 deletions
@@ -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";
    };