Hi all,
Ahead of our discussion of the build circularity today, I've set up a
couple of extra builds on my Jenkins server to try out one of the ideas
we've been kicking around. I now have these build jobs:
Stylesheets-dev-with-P5-release: this builds the dev branch of the
Stylesheets, but using the p5subset.xml from the current P5 release.
Stylesheets-dev-with-P5-release: this does a comprehensive build of the
P5-dev branch (tests followed by a full build of the output), but using
the latest release version of the TEI stylesheets. The stylesheets used
to be available on the TEI website, but that's no longer the case, so
I've ended up installing the deb packages on my Jenkins instead.
They're still building, so I don't know whether they'll be successful or
not, but if either or both of them fail, at least we'll have some idea
of the kind of issues we might face if we do take this approach to
avoiding the circularity problem.
Cheers,
Martin
