Docs can take a long time to build, so when doing multiple builds a day during testing you really don't want to have this turned on. Likewise if you are building on slow machine or an older machine without sufficient doxygen. But obviously they are valuable for users doing their primary build who want to use the docs.
I'm thinking it might make sense to just prompt the user when pybombs sets up its environment and asks for things like the prefix directory - for it to also ask the user whether they want to build documentation in general for all the recipes they will be building. The main issues with this are, 1. there are not currently recipes for doxygen and it's dependencies - those would need to be written and would pull in a bunch of latex, perl, ghostscript, etc -- 2. the dependencies for gnuradio need to change based on enabling/disabling this feature - we don't have a good mechanism yet in pybombs for turning deps on or off based on recipe "options", but we could add something like this fairly easily At the end of the day we do have a choice now between trying to keep build configurations fairly static and simple (defined only by their recipe set and guaranteed for repeatability - which is great for performing repeatable testing, versioning, and packaging) or allowing it to become a monolithic thing that has lots of different user prompted states and options. It's not clear that we can't achieve both - but we would sacrifice a bit of conciseness and recipe simplicity to get there -Tim On 09/19/2013 09:59 AM, Tom Rondeau wrote: > On Wed, Sep 18, 2013 at 3:48 PM, M Dammer <i...@mdammer.net> wrote: >> May I then suggest to enable the docs in the pybombs recipe by default >> as well ? > You may suggest. > > Sorry for being glib. I also think it's a good idea to enable the > documentation by default. If Tim agrees and there wasn't a technical > reason why it was turned off in the first place, I think we can change > it. >
_______________________________________________ Discuss-gnuradio mailing list Discuss-gnuradio@gnu.org https://lists.gnu.org/mailman/listinfo/discuss-gnuradio
