Those are 4 concatenated git build logs. I don't know which one is relevant.
On Tuesday, April 5, 2016 at 8:23:53 PM UTC+2, Simon King wrote: > > Hi Volker, > > Am Dienstag, 5. April 2016 17:30:15 UTC+2 schrieb Volker Braun: >> >> Should work, whats the git build log and what does the git binary link to? >> > > The git log is attached. I don't know how to find out what the git binary > links to. > > - Why is it not installed with http(s) support? >>> >> >> Because you don't have openssl-develop os package installed >> > > Apparently, openssl-develop is called libssl-dev in Ubuntu, and that I > *have* installed. > > >> >> >>> - If it is not installed by default (i.e., if I did install it >>> manually): How can I uninstall it, so that my system's version of git >>> will henceforth be used? >>> >> >> make distclean && make >> > > Since it is a standard package, it would be re-installed, isn't it? > > Cheers, > Simon > -- 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.