I made #17071 for that issue.


On Monday, September 29, 2014 10:00:03 PM UTC+1, Volker Braun wrote:
>
> I've seen that sporadically on the buildbot recently. But I haven't been 
> able to track it down. "make distclean && make" fixes it.
>
>
>
> On Monday, September 29, 2014 9:51:28 PM UTC+1, Emmanuel Charpentier wrote:
>>
>> Ahem :
>>
>> Setup : Core i7 laptop with 16 Gb RAM. Starting trom a successfully 
>> compiled sage 6.4beta3.by git fetch ; git pull ;
>>
>> Compilation went OK. make ptestlong not so. In short :
>> ----------------------------------------------------------------------
>> sage -t --long --warn-long 51.5 src/sage/crypto/mq/sr.py  # 6 doctests 
>> failed
>> sage -t --long --warn-long 51.5 
>> src/sage/rings/polynomial/multi_polynomial_sequence.py  # 9 doctests failed
>> sage -t --long --warn-long 51.5 src/sage/rings/polynomial/pbori.pyx  # 
>> Killed due to segmentation fault
>> ----------------------------------------------------------------------
>>
>> Long version : see attached ptestlong.log. I'm a bit out of my depth 
>> here... Do you need a build log ? If so, I'd start afresh : my install.log 
>> is currently 26 Mb long...
>>
>> HTH,
>>
>> --
>> Emmanuel Charpentier
>>
>>
>>
>> Le samedi 27 septembre 2014 16:51:26 UTC+2, Volker Braun a écrit :
>>>
>>> As usual, get the updated "develop" git branch. Alternatively, 
>>> self-contained source tarball is here:
>>>
>>> http://boxen.math.washington.edu/home/release/sage-6.4.beta4.tar.gz
>>>
>>> Note: boxen will be reinstalled soon, and the source tarball link might 
>>> be unavailable. Watch this thread for an updated url ;-)
>>>  [ Snip ... ]
>>>
>>  
>>
>

-- 
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 sage-release+unsubscr...@googlegroups.com.
To post to this group, send email to sage-release@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-release.
For more options, visit https://groups.google.com/d/optout.

Reply via email to