On Sat, 8 Jun 2019 16:50 John H Palmieri, <jhpalmier...@gmail.com> wrote:
> > > On Saturday, June 8, 2019 at 1:25:11 AM UTC-7, vdelecroix wrote: >> >> Le 07/06/2019 à 16:44, Jeroen Demeyer a écrit : >> > On 2019-06-07 16:38, E. Madison Bray wrote: >> >> While I agree it's part of an annoying trend, this is one change I >> >> welcome: The Python interpreter shipped in OSX has always *always* >> >> been broken and unusable >> > >> > What matters for Sage is: was it sufficiently functional to bootstrap a >> > build of Sage? >> >> Not only. As Volker said in the initial message of the thread, Python is >> a dependency of the Sage binaries. >> > > Although Sage binaries come with functioning builds of Python, so we could > conceivably use those if there is no system Python. > it is a chicken vs egg problem. One needs system python to install Sage first. > -- > 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. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/0736a122-d9e8-4036-b066-bc749cde9ef8%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/0736a122-d9e8-4036-b066-bc749cde9ef8%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq2rWjJejNJ%3DfdN3_%3DqL-eEiHDz6K7C1upuZTBqCv2ZpqA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.