I would be willing to help make improvements to the manual, my only hesitation is that I'm not 100% sure what is going on with the bootstrapping. Is there anything particular to bootstrapping in Sage that wouldn't show up in googling around about it?
Best Regards, Trevor Karn On Tue, Feb 9, 2021 at 1:15 PM Matthias Koeppe <matthiaskoe...@gmail.com> wrote: > On Tuesday, February 9, 2021 at 9:09:32 AM UTC-8 zsc...@gmail.com wrote: > >> I see that the link I posted to the installation from source >> documentation doesn't mention autoconf/automake, but I would have thought >> some other package would have already installed them. Probably since >> homebrew is all bottles now they don't automatically get installed anymore >> if you are not building locally. >> >> But Dima is right, it's probably best practice to brew install the >> packages listed in the file build/pkgs/_bootstrap/distros/homebrew.txt. >> >>> >>> > The installation manual does not mention the bootstrapping prerequisites > because users installing source releases will not need them. > Bootstrapping is only needed when developers use branches from git that > make changes to packages or build scripts. > > However the developer's manual should be updated to discuss bootstrapping. > > There is a ticket for improvements to this manual - > https://trac.sagemath.org/ticket/29784 - which needs help. > > > > -- > You received this message because you are subscribed to a topic in the > Google Groups "sage-devel" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/sage-devel/TmbLnmwz2mg/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > sage-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/43f209e5-8536-4685-8c9d-78e5eeb0aa84n%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/43f209e5-8536-4685-8c9d-78e5eeb0aa84n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAJ6VCMDGmFZ%2BOqofD2t8_-yjd3FapZtY%3DPF_Nhz%3DFJoGLyKuuA%40mail.gmail.com.
