On 1/31/14 5:19 AM, Dima Pasechnik wrote:
Now you can happily build in /usr/local/sage/sage-6.1 and at some point switch your /usr/local/sage/current to point to /usr/local/sage/sage-6.1/
If you are building from scratch, this works well (and is what I do on my personal machine). If you are trying to not build from scratch, then I think implicit in this step is that you copy sage-6.0 to sage-6.1, then do the git pull and build. And I think implicit in that is the assumption that sage deals okay with moving directories.
I think you'll have to make a copy somewhere or build from scratch---you're right that checking out a new branch in the existing working copy will make it unusable for a bit while you build.
Jason -- 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/groups/opt_out.
