> On 9/11/2017, at 01:28, Clay Thompson <clay...@gmail.com> wrote: > > Not sure why git would be using a tarball...
That takes some explaining. When you run make the first time in sage, it runs configure. If configure cannot be found - which will be the case for a GitHub pull - it will first look for a pre-made tarball of configuration scripts on the internet and install it in place. Only if that fails will autoreconf and friends need to be called. So that particular tarball must have been installed as root and that is why configure doesn’t belong to your regular user. François -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
