On Thursday, May 25, 2017 at 7:49:42 AM UTC-7, Kwankyu Lee wrote: > > > > On Thursday, May 25, 2017 at 4:36:04 PM UTC+2, Frédéric Chapoton wrote: >> >> Very surprising that sage starts.. Did you really launch the sage that >> you just compiled ? >> > > I suspect this as well... I will respond later when I am sure about > everything. I am a bit busy for other things right now. >
If you built Sage once normally and then rebuilt using `SAGE_PYTHON3=yes` without cleaning anything out, then all of the previously built parts might still be there, so maybe it's not too surprising that it starts up. -- John -- 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.
