On 14 June 2015 at 22:22, John Cremona <john.crem...@gmail.com> wrote:
> On 14 June 2015 at 20:33, Frédéric Chapoton <fchapot...@gmail.com> wrote:
>> This should work.. Is there anything in the required directory ?
>>
>> Are you sure you are calling the right "sage" ? not another one without the
>> patchbot installed ?
>
> Sorry, In did install into the "wrong" copy. It is starting to run
> now and I'll see what has been doing tomorrow morning.
I have got firther but still not running. When I do ./sage -patchbot
it spends a very long time re-making docs and running tests, at the
end of which I get
...
1.5887458324432373],
'total_samples': 50}),
('plugins.startup_modules', True, {}),
('plugins.git_rev_list', True, None)],
'spkgs': [],
'status': 'TestsFailed',
'time': '2015-06-15 23:18:15 +0100',
'user': 'jec'}
0 TestsFailed
ok
[2015-06-15 23:18:16 +0100] Done reporting #0
Current base: git://github.com/sagemath/sage.git develop
Failing tests in your base install: exiting.
-------------
What should I try next? The file logs/ptestlong.log tells me that 2
test timed out; these ran OK by themselves so I am rerunning
ptestlong. (The machine has 64 cores and a current load of <<1).
John
>>
>>
>> Le dimanche 14 juin 2015 21:03:33 UTC+2, John Cremona a écrit :
>>>
>>> I thought I would start running a patchbot, so I followed the
>>> instructions at http://wiki.sagemath.org/buildbot/details
>>>
>>> - Installed and built a new copy of Sage, latest develop branch
>>> - ./sage -i http://chapoton.perso.math.cnrs.fr/patchbot-2.3.6.spkg
>>> - make
>>> - ./sage -patchbot
>>>
>>> but I get the error message
>>>
>>> /home/jec/sage/src/bin/sage: line 255:
>>> /home/jec/sage/local/bin/patchbot/patchbot.py: No such file or
>>> directory
>>>
>>> Did I do something wrong?
>>>
>>> John
>>
>> --
>> 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 http://groups.google.com/group/sage-devel.
>> For more options, visit https://groups.google.com/d/optout.
--
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
