Admin/mira.py

 from mira import schedule, misc
 from mira.environment import scheduler
 from mira import repositories
 
 # build and evaluation tools
+
+DEFAULT_TIMEOUT = 2 * 60 * 60
+SMLNJ_TIMEOUT = 72 * 60 * 60
 
 def prepare_isabelle_repository(loc_isabelle, loc_dependency_heaps, more_settings=''):
 
     # patch settings
     extra_settings = '''

         'image_size': extract_image_size(isabelle_home) }
 
 
 def isabelle_build(env, case, paths, dep_paths, playground, *cmdargs, **kwargs):
 
-    more_settings=kwargs.get('more_settings', '')
-    keep_results=kwargs.get('keep_results', True)
+    more_settings = kwargs.get('more_settings', '')
+    keep_results = kwargs.get('keep_results', True)
+    timeout = kwargs.get('timeout', DEFAULT_TIMEOUT)
 
     isabelle_home = paths[0]
 
     # copy over build results from dependencies
     heap_dir = path.join(isabelle_home, 'heaps')

 '''
 
     prepare_isabelle_repository(isabelle_home, None, more_settings=more_settings)
     os.chdir(isabelle_home)
 
+    args = (['-o', 'timeout=%s' % timeout] if timeout is not None else []) + cmdargs
+
     # invoke build tool
-    (return_code, log) = env.run_process('%s/bin/isabelle' % isabelle_home, 'build', '-s', '-v', *cmdargs)
+    (return_code, log) = env.run_process('%s/bin/isabelle' % isabelle_home, 'build', '-s', '-v', *args)
 
     # collect report
     return (return_code == 0, extract_isabelle_run_summary(log),
       extract_report_data(isabelle_home, log), {'log': log}, heap_dir if keep_results else None)
 

 '''
 
 @configuration(repos = [Isabelle], deps = [(Pure, [0])])
 def SML_HOL(*args):
     """HOL image built with SML/NJ"""
-    return isabelle_build(*(args + ("-b", "HOL")), more_settings=smlnj_settings)
+    return isabelle_build(*(args + ("-b", "HOL")), more_settings=smlnj_settings, timeout=SMLNJ_TIMEOUT)
 
 @configuration(repos = [Isabelle], deps = [])
 def SML_makeall(*args):
     """SML/NJ build of all possible sessions"""
-    return isabelle_build(*(args + ("-j", "3", "-a")), more_settings=smlnj_settings)
-
-
+    return isabelle_build(*(args + ("-j", "3", "-a")), more_settings=smlnj_settings, timeout=SMLNJ_TIMEOUT)
+
+