On Friday, April 7, 2017 at 12:35:13 PM UTC+1, vdelecroix wrote: > > Dear all, > > I have trouble building Sage for the patchbot. My procedure consists > just in launching the attached script. It basically > > 1) compile sage > 2) install most optional packages except the one for which I know > there are some troubles > 3) launch the patchbot > > However, after step 2) I end up with a very broken Sage that is > immediately killed with no information at all > > $ ./sage > ┌────────────────────────────────────────────────────────────────────┐ > │ SageMath version 8.0.beta1, Release Date: 2017-04-06 │ > │ Type "notebook()" for the browser-based notebook interface. │ > │ Type "help()" for help. │ > └────────────────────────────────────────────────────────────────────┘ > ┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┓ > ┃ Warning: this is a prerelease version, and it may be unstable. ┃ > ┗━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┛ > Killed > > this looks very much like some stuff in ~/.sage/ directory might be responsible for.
I'd try to move it out of the way and try starting sage again Indeed, most probably your installation passes "Sage starts" test, you might check install.log for this; this tests is done with the option to ignore the contents of ~/.sage/ - unlike the usual startup. Dima > Does anybody have a clue on how I could debug this thing? > > Thanks, > Vincent > -- 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.
