On Wed, Jun 29, 2022 at 8:53 AM Dan Čermák
<dan.cermak(a)cgc-instruments.com> wrote:
I do not object as I don't have the cycles to make odoc build.
However after a call with Marián today, he brought up the idea of
bootstrapping odoc similarly to how it is done for Maven. If I
understood it correctly, then Maven is bootstrapped from bundled source
(maven + all of its dependencies), that are then build from scratch and
afterwards Maven builds its dependencies from the bootstrap and then
finally itself again from the bootstrapped dependencies.
Could we maybe use this approach with odoc? I.e. we "just" dump all of
its dependencies into a huge tarball, build them all into the buildroot
only and build odoc from that?
Ugh. That idea makes me itch all over. :-) I don't object if
somebody else wants to spearhead that effort, but I don't want to
undertake it. I think it would be fragile.
Again, the payoff seems small. I don't think acquiring the high
quality documentation (that we have never yet had in Fedora) is worth
a lot of effort. Anybody who needs it can use opam to generate it.
--
Jerry James
http://www.jamezone.org/