On 03/08/16 00:22, Erik Bray wrote:
Ah, I see what you're saying here. Though in that case I would think one wouldn't want to rely on SAGE_LOCAL at all. Instead it might be nice if each spkg came with a Python-based way to check for it (those checks can and should be cached as well).
Indeed, so far it relies on the fact SAGE_LOCAL is /usr in sage-on-gentoo. But yes, you could have installed something in /usr/local for example. But the point of sage-on-gentoo is that you don't need something that is not provided by Gentoo's package manager.
Francois -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
