On 27 September 2014 19:53, Jean-Pierre Flori <jpfl...@gmail.com> wrote: > It's the only simple way from my point of view when you want to build on a > machine without internet access.
Of course, and I certainly want that to continue to be possible, though I suspect that those who are developing use git. > Much easier that copying a non-built git install with a full upstream > directory. > On top of that, "make download" pulls huge tarballs (including some of John > database if IIRC :) ). Hey, the Stein-Watkins db is *much* bigger than mine! John > > On Saturday, September 27, 2014 5:35:30 PM UTC+2, John Cremona wrote: >> >> On 27 September 2014 16:32, Harald Schilly <harald....@gmail.com> wrote: >> > On Sat, Sep 27, 2014 at 4:51 PM, Volker Braun <vbrau...@gmail.com> >> > wrote: >> >> Note: boxen will be reinstalled soon, and the source tarball link might >> >> be >> >> unavailable. Watch this thread for an updated url ;-) >> > >> > >> > should one of us put it on the mirrors? >> >> Is anyone still building development pre-releases from tarballs >> instead of pulling from the git repository? >> >> John >> >> > >> > -- harald >> > >> > -- >> > You received this message because you are subscribed to the Google >> > Groups "sage-release" group. >> > To unsubscribe from this group and stop receiving emails from it, send >> > an email to sage-release...@googlegroups.com. >> > To post to this group, send email to sage-r...@googlegroups.com. >> > Visit this group at http://groups.google.com/group/sage-release. >> > For more options, visit https://groups.google.com/d/optout. > > -- > You received this message because you are subscribed to the Google Groups > "sage-release" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-release+unsubscr...@googlegroups.com. > To post to this group, send email to sage-release@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-release. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-release+unsubscr...@googlegroups.com. To post to this group, send email to sage-release@googlegroups.com. Visit this group at http://groups.google.com/group/sage-release. For more options, visit https://groups.google.com/d/optout.