Stack smashing on 32bits [dochtml] Setting permissions of DOT_SAGE directory so only you can read and write it. [dochtml] *** stack smashing detected ***: python terminated [dochtml] ------------------------------------------------------------------------ [dochtml]
I/We had to deal with that before, in singular, if memory serves me right. François > On 18/08/2016, at 18:53, Volker Braun <[email protected]> wrote: > > Some of the 32-bit buildbots (including 14.04) failed to build a binary > because they segfault when building docs; This does not happen for normal > builds. Haven't had time to investigate. > > http://build.sagedev.org/release/builders/Zpkg%20%20slow%20AIMS%20bu14_32s02%20%28Ubuntu%2014.04%2032%20bit%29%20pkg-binary/builds/12 > > > > On Thursday, August 18, 2016 at 6:52:26 AM UTC+2, pipedream wrote: > Hi > > On 10 August 2016 at 08:09, Jan Groenewald <[email protected]> wrote: > Hi > > I'd expected the 32 bit binaries for sage 7.3 ubuntu 14.04, 15.10, 16.04 to > show up here already? Perhaps some transfer fell over? > > http://files.sagemath.org/linux/32bit/index.html > > It only shows 12.04. > > > I am bumping this as I was waiting for the 14.04 32bit binary before > releasing the 32+64bit via the Ubuntu PPA. > > Regards, > Jan > > -- > .~. > /V\ Jan Groenewald > /( )\ www.aims.ac.za > ^^-^^ > > -- > You received this message because you are subscribed to the Google Groups > "sage-release" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/sage-release. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-release. For more options, visit https://groups.google.com/d/optout.
