1.1 --- a/Admin/mira.py	Sun Mar 27 21:44:10 2011 +0200
     1.2 +++ b/Admin/mira.py	Mon Mar 28 09:22:22 2011 +0200
     1.3 @@ -120,7 +120,7 @@
     1.4        {'timing': extract_isabelle_run_timing(log)}, {'log': log}, result)
     1.5  
     1.6  
     1.7 -def isabelle_make(subdir, env, case, paths, dep_paths, playground, more_settings='', target='all'):
     1.8 +def isabelle_make(subdir, env, case, paths, dep_paths, playground, more_settings='', target='all', keep_results=False):
     1.9  
    1.10      isabelle_home = paths[0]
    1.11      dep_path = dep_paths[0] if dep_paths else None
    1.12 @@ -129,8 +129,9 @@
    1.13  
    1.14      (return_code, log) = env.run_process('%s/bin/isabelle' % isabelle_home, 'make', '-k', target)
    1.15  
    1.16 +    result = path.join(isabelle_home, 'heaps') if keep_results else None
    1.17      return (return_code == 0, extract_isabelle_run_summary(log),
    1.18 -      {'timing': extract_isabelle_run_timing(log)}, {'log': log}, None)
    1.19 +      {'timing': extract_isabelle_run_timing(log)}, {'log': log}, result)
    1.20  
    1.21  
    1.22  def isabelle_makeall(env, case, paths, dep_paths, playground, more_settings='', target='all', make_options=()):
    1.23 @@ -342,7 +343,7 @@
    1.24  @configuration(repos = [Isabelle], deps = [])
    1.25  def SML_HOL(*args):
    1.26      """HOL image built with SML/NJ"""
    1.27 -    return isabelle_make('src/HOL', *args, more_settings=smlnj_settings, target='HOL')
    1.28 +    return isabelle_make('src/HOL', *args, more_settings=smlnj_settings, target='HOL', keep_results=True)
    1.29  
    1.30  @configuration(repos = [Isabelle], deps = [])
    1.31  def SML_makeall(*args):