Re: [sage-devel] Re: help for patchbot beginners

2015-04-19 Thread John Cremona
On 19 April 2015 at 10:16, 'Martin R' via sage-devel wrote: > I made distclean and started from scratch, now tests pass. Apparently, > something went wrong with the copying. I'll report as soon as the tests are > finished and patchbot is running... It is hard to make things work after moving a

[sage-devel] Re: help for patchbot beginners

2015-04-19 Thread 'Martin R' via sage-devel
I made distclean and started from scratch, now tests pass. Apparently, something went wrong with the copying. I'll report as soon as the tests are finished and patchbot is running... Thanks, Martin -- You received this message because you are subscribed to the Google Groups "sage-devel" gr

[sage-devel] Re: help for patchbot beginners

2015-04-18 Thread Frédéric Chapoton
Maybe a good solution is to have another *user* for the patchbot. so: 1) create a new user on your computer 2) copy your sage to this user home 3) run ./sage in there, it should (?) take care of the relocation once again, no garantee.. Frederic Le samedi 18 avril 2015 20:59:03 UTC+2, Frédéric C

[sage-devel] Re: help for patchbot beginners

2015-04-18 Thread Frédéric Chapoton
Hello, ok, I guess this is the source of the problem. Could you 1) copy again your original sage dir into a new dir 2) type ./sage inside this new dir maybe it will take care of the change of dir ? I am not sure.. Could some readers of the devel-group help us here ? How to safely duplicate a

[sage-devel] Re: help for patchbot beginners

2015-04-18 Thread 'Martin R' via sage-devel
> Am Samstag, 18. April 2015 20:11:12 UTC+2 schrieb Frédéric Chapoton: > Hello, > Do you confirm that the branch patchbot/ticket_merged > is the same as 6.7.beta1 ? > you can check that using > "git log " > the top line should have the tag 6.7.beta1. > If so the failure has probably nothing to d

[sage-devel] Re: help for patchbot beginners

2015-04-18 Thread Frédéric Chapoton
Hello, Do you confirm that the branch patchbot/ticket_merged is the same as 6.7.beta1 ? you can check that using "git log " the top line should have the tag 6.7.beta1. If so the failure has probably nothing to do with the patchbot, but means that your sage is somewhat broken. It would probably

[sage-devel] Re: help for patchbot beginners

2015-04-18 Thread 'Martin R' via sage-devel
It begins with the below. In case it helps, the banner prints as martin@Martin-Laptop:~/sage-develop$ ./sage ┌┐ │ SageMath Version 6.7.beta1, Release Date: 2015-04-15 │ │ Type "notebook()" for the browser-based not

Re: [sage-devel] Re: help for patchbot beginners

2015-04-18 Thread John Cremona
I don't know about the patchbot but the version of libec.so which is built by Sage-6.6 should be libec.so.1. John On 18 April 2015 at 16:31, Frédéric Chapoton wrote: > Hello Martin, > > ok, thanks for trying the bot, and let me try to investigate. > > Could you run one or several of the failing

[sage-devel] Re: help for patchbot beginners

2015-04-18 Thread Frédéric Chapoton
Hello Martin, ok, thanks for trying the bot, and let me try to investigate. Could you run one or several of the failing doctests by yourself (on the develop branch), to see if your sage install is sane ? for example sage -t --long src/sage/misc/cython.py Frederic Le samedi 18 avril 2015 15:07