Re: [sage-devel] Re: help needed to debug a systematically killed Sage

2017-04-08 Thread Vincent Delecroix
On 08/04/2017 16:35, Samuel Lelievre wrote: 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

Re: [sage-devel] Re: help needed to debug a systematically killed Sage

2017-04-08 Thread Samuel Lelievre
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

Re: [sage-devel] Re: help needed to debug a systematically killed Sage

2017-04-08 Thread Vincent Delecroix
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

Re: [sage-devel] Re: help needed to debug a systematically killed Sage

2017-04-08 Thread Vincent Delecroix
hum $ ./sage -gdb ┌┐ │ SageMath version 8.0.beta1, Release Date: 2017-04-06 │ │ Type "notebook()" for the browser-based notebook interface.│ │ Type "help()" for help.

Re: [sage-devel] Re: help needed to debug a systematically killed Sage

2017-04-08 Thread Volker Braun
On Friday, April 7, 2017 at 6:29:14 PM UTC+2, vdelecroix wrote: > > This went fine (see the attached log for imports)! next step? sage -gdb -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving