On 2015-08-18 20:42, Volker Braun wrote:
On Tuesday, August 18, 2015 at 9:26:44 PM UTC+2, Jeroen Demeyer wrote:
An obvious use-case is that you're switching branches/Sage versions and
you just want to try to compile a single package and you don't want to
be bothered by dependencies.
I'd call that "working around bugs in our broken build system".
No, it's called "not wanting to wait for hours until all dependencies
are compiled". The same reason that people use "./sage -b" in favour of
"make": the latter might need minutes just to determine that the
documentation does not need to be rebuilt.
--
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
