> -----Original Message----- > From: [email protected] > [mailto:[email protected]] > On Behalf Of Monahan-Mitchell, Tim > Sent: Friday, April 05, 2013 2:40 PM > To: [email protected] > Subject: [Discuss-gnuradio] Out-of-tree module build fails for lack of > Doxygen, despite -DENABLE_DOXYGEN=OFF > > I first used gr_modtool.py to successfully create my out-of-tree module on > an Ubuntu 12.04 LTS x86 system (GNU Radio 3.6.4.1). > > I am now building my module on an Ubuntu system that does not have > /usr/bin/doxygen (the new system is based on 12.04 LTS for Arm). > > Despite specifying -DENABLE_DOXYGEN=OFF, the build fails thusly: > > # cmake -DENABLE_DOXYGEN=OFF ../ > -- Build type not specified: defaulting to release. > -- Configuring done > -- Generating done > -- Build files have been written to: /src/gr-mymodule/build > # make > [ 5%] Built target gnuradio-mymodule > [ 16%] Built target test-mymodule > [ 22%] Built target _mymodule_swig_doc_tag > [ 27%] Built target _mymodule_swig_swig_tag > [ 33%] Generating doxygen xml for mymodule_swig_doc docs > /bin/sh: 1: /usr/bin/doxygen: not found > make[2]: *** [swig/mymodule_swig_doc_swig_docs/xml/index.xml] Error > 127 > make[1]: *** [swig/CMakeFiles/_mymodule_swig.dir/all] Error 2 > make: *** [all] Error 2 > > I have duplicated the above failure on the Ubuntu 12.04 LTS x86 machine by > first doing "sudo mv /usr/bin/doxygen /usr/bin/doxygen_tmp" to simulate > no doxygen installed. > > I am trying the same experiment on the gnuradio tree (3.6.4.1) on Ubuntu > 12.04 LTS x86; if it builds, maybe I can compare various files to see the > difference.
The gnuradio tree build was able to handle this test, so that is good. > But maybe one of you can beat me to the solution or a work-around :) I found a work-around by a hostile takeover of the FindDoxygen module of Cmake: (with sudo as needed) # echo 'set(DOXYGEN_FOUND "NO")' >/usr/share/cmake-2.8/Modules/FindDoxygen.cmake # echo 'set(DOXYGEN_DOT_FOUND "NO")' >>/usr/share/cmake-2.8/Modules/FindDoxygen.cmake I will leave it to the smarter people of this list to find a better solution. Cheers! _______________________________________________ Discuss-gnuradio mailing list [email protected] https://lists.gnu.org/mailman/listinfo/discuss-gnuradio
