You can't, you have to download and unpack the source tarball http://sagemath.org/download-source.html It contains all the repositorie(s) that you can use to develop on.
There's an effort to move to a single git repository that does work in the normal manner (checkout, build, etc.) https://github.com/sagemath/sage/ On Mon, Jul 22, 2013 at 12:47 PM, ASageWoodpecker <reply....@gmail.com> wrote: > Hi, > > I checked out the Sage source from the repos on Bitbucket. But my attempt to > build the source on sage-root came to naught. Here's the error I get. > > ----- > Attempting to download package patch >>>> Checking online list of optional packages. > /Users/ASW/Source_Code/sage/sage-root/spkg/bin/sage-spkg: line 280: > /Users/ASW/.sage//optional.list: No such file or directory > Error: failed to download http://www.sagemath.org/spkg/optional/list, aborting > make[2]: *** [/Users/ASW/Source_Code/sage/sage-root/spkg/installed/patch] > Error 1 > make[1]: *** [all] Error 2 > > ------ > > I understand Sage adopts the philosophy of bundling all dependencies in the > release version of the source. But how does one build Sage from the checkout > source code? I really appreciate any pointers here. > > Thanks, > -Anton > > -- > 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. > > -- 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.
