On Sunday, 08 May 2016 at 08:00:35 pm -0400, Br. Samuel Springuel wrote: > Fair enough. > > How about treating the docs like we treat the fonts in build.sh? That > is, if the doc files don't exist or the user asks for them to be rebuild > (via a "--force=doc" option) then they get built, otherwise that step > gets skipped. Along similar lines we might consider a "--skip" options > which allows the user to by pass the building of the docs (or the fonts) > when they do not exist.
Actually, whether the fonts will be built depends on more than just their absence. The makefile now has the true dependencies, so if one of the source files is newer than the resulting font file, the font will be built. In fact, the force option for fonts currently only causes "make fonts" to run again, doing nothing since the previous "make" would have made the fonts. The dependencies for documents are also correct in the makefile, but the PDFs are not in the "all" target, so they are not built by default. So, if I get your meaning, the behavior won't be exactly the same as for fonts, but running build.sh should build documents by default, unless they are skipped. > Though, as I think about it, even with those above changes, a "--no-doc" > option for install-gtex.sh which would skip the installation of the docs > would still probably make sense. After all, I just posted that I want a > "--no-fonts" option which would skip the installation of the fonts. Gregorio pull request #1088 has a patch to install-gtex.sh can prevent the pdfs, examples, and/or font sources from being installed, which I needed to ease running the unit tests during development of said pull request. The corresponding gregorio-test pull request #214 has the test harness side of this change. So, if I'm understanding, we need to: 1. Make build.sh build the docs if they don't exist. 2. Add a --force=pdf option to build.sh to force documents to be built even if they exist by first deleting the PDFs. 3. Fix the --force=fonts option in build.sh to delete the TTFs in order to truly force the fonts to be built. 4. Add a gregorio target to the root makefile to build the executable only, and have build.sh use this target for the first step of the build. 5. Add --skip= options for gregorio, pdf, and fonts to skip the desired step(s). 6. Rewrite install-gtex.sh to parse options. 7. Rather than using the environment variable tricks, use options in install-gtex.sh to prevent installation of fonts, docs, examples, and/or font sources. 8. Modify the gregorio-test harness to use the new install-gtex.sh options rather than environment variable tricks. It's a bit of an undertaking, but how does it sound? Note: I actually don't completely agree with step 4, as it means we will need to be more careful as more "steps" are added to overall build, but I can agree to it for packaging purposes. I don't use the build.sh script for building, so I'm not likely to find problems. Henry _______________________________________________ Gregorio-devel mailing list [email protected] https://mail.gna.org/listinfo/gregorio-devel
