Hi,
it seems someone (or something) broke Mira. When I start
~/testbench-main/mira/bin/mira daemon 'bisect(Isabelle-makeall)'
on lxbroy10, I get (BTW: It would be pretty nice if mira only daemonized
after a successful start):
[2012-08-16 17:29:12,495] CRITICAL mira
**************************************************************************************************************************
[2012-08-19 05:37:12,490] INFO mira pid is 58688
[2012-08-19 05:37:12,491] INFO mira Daemon instance isatest, started
from /home/isatest/testbench-main/mira.
[2012-08-19 05:37:12,935] INFO mira.workbench Mirroring master
repositories...
[2012-08-19 05:37:13,900] INFO mira.workbench Scheduling...
[2012-08-19 05:37:13,926] CRITICAL mira
**********************************************************************************************
[2012-08-19 05:37:13,926] CRITICAL mira mira system error
[2012-08-19 05:37:13,926] CRITICAL mira
**********************************************************************************************
[2012-08-19 05:37:13,926] CRITICAL mira Traceback (most recent call last):
File "/home/isatest/testbench-main/mira/util/daemonize.py", line 80,
in daemonize
result = f()
File "/home/isatest/testbench-main/mira/mira/environment.py", line
172, in daemon_activity
f()
File "/home/isatest/testbench-main/mira/mira/tools.py", line 118, in
<lambda>
return env.daemonize(instance_name, lambda: loop(env, scheduler_expr))
File "/home/isatest/testbench-main/mira/mira/tools.py", line 107, in loop
env.workbench.loop(mira.schedule.parse_scheduler_expr(env,
scheduler_expr))
File "/home/isatest/testbench-main/mira/mira/workbench.py", line 134,
in loop
cases = schedule()
File "/home/isatest/testbench-main/mira/mira/schedule.py", line 39,
in <lambda>
return lambda: scheduler.impl(env, *args)
File "/home/isatest/testbench-main/mira/mira/schedule.py", line 106,
in bisect
repos_name = env.get_configuration(conf).repos[0]
File "/home/isatest/testbench-main/mira/mira/environment.py", line
140, in get_configuration
raise KeyError('Unknown configuration: %s' % conf_name)
KeyError: 'Unknown configuration: Isabelle-makeall'
[2012-08-19 05:37:13,927] CRITICAL mira
**********************************************************************************************
Rings a bell for anyone? I won't be able to analyze this before next week.
lxbroy8 has a similar issue; updating to the current mira repository did
not help.
-- Lars
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
