On Tue, Feb 19, 2019 at 6:41 PM Thierry <[email protected]> wrote: > > Hi, > > On Mon, Feb 18, 2019 at 04:07:07PM +0100, E. Madison Bray wrote: > [...] > > Fixing that's something I've been working toward for practically as > > long as I've been working on the project, and we've been making real > > progress lately, which you are encouraged to join in and help with... > > Perhaps could you provide a task ticket, plus some pointers to readable > documentation, howtos, etc.
I have several task tickets for several aspects of this, but a lot of it is a bit disorganized just because there's so much to do. Some major ones are: * For upgrading the installation method for all packages to use DESTDIR: https://trac.sagemath.org/ticket/24024 * There are still some tickets linked to from there that have been awaiting review for a long time, including https://trac.sagemath.org/ticket/25035 and https://trac.sagemath.org/ticket/25049 * Many packages should still have an spkg-legacy-uninstall: https://trac.sagemath.org/ticket/25140 * There is a broader task ticket about getting a `make install` working for Sage. Some disagree with this approach entirely, and I agree there are some arguments for/against it, though I think if nothing else it motivates many changes that are worth making for their own sake: https://trac.sagemath.org/ticket/21495 * Some have liked to the spkg-configure keyword on Trac, but there is not to my knowledge an umbrella task ticket for adding support for using more packages from the system (implemented by providing spkg-configure.m4 files for those packages). I think that would be a good idea, especially for prioritizing that work. I'll work on making such a ticket now. -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
