On Fri, 09 Mar 2012 17:12:30 Keshav Kini wrote: > Jeroen Demeyer <jdeme...@cage.ugent.be> writes: > > On 2012-03-09 06:18, Keshav Kini wrote: > >> Something else: Why do we even have local/ ? Why not just have bin/, > >> lib/, etc. in the root directory? > > > > I like local/. It makes the top-level directory a lot cleaner. Also, > > maybe in the future we want to make $SAGE_LOCAL totally separate from > > $SAGE_ROOT. Not sure whether that should be done, but let's plan for > > the possibility. > > Good point, but on the other hand, by putting all our repositories in > devel, we no longer really need to care about where $SAGE_ROOT is. > $SAGE_LOCAL is where everything important (that is, every important > *installed* thing) will live. Right? I assume by "totally separate from > $SAGE_ROOT" you mean "not contained within $SAGE_ROOT", so if we remove > local/ we're basically left with devel/ and a bunch of stuff which (IMO) > should be moved into $SAGE_LOCAL anyway. > > Anyway I'm fine with keeping local/ , I guess. And Burcin seems to think > so too, seeing as how Prefix doesn't have it, so he must have > specifically added it for lmonade. > It is definitely something burcin added to lmonade. I am guessing it has to do with the way he wants to make his tree relocatable.
In sage-on-gentoo we have SAGE_LOCAL pointing to $EPREFIX/usr and SAGE_ROOT to /usr/share/sage and is mainly used for the doctest. Francois -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
