Sat 2017-04-08 15:14:57 UTC+2, vdelecroix: > > On 07/04/2017 23:52, Dima Pasechnik wrote: > > > > > > 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. > > You were right, after moving .sage everything went smoothly. Since I did > not add myself anything there it would still be nice to understand where > the problem comes from! > > Vincent >
Did .sage contain a file init.sage? To see what in the .sage directory makes SageMath 8.0.beta1 unhappy, you can selectively remove stuff from the problematic .sage directory. To see what change in Sage made it unhappy with that .sage directory you could, starting from 8.0.beta0, apply successive tickets leading to 8.0.beta1 and see when things go wrong. Samuel -- 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.
