1.1 --- a/Admin/mira.py	Thu Mar 24 23:28:07 2011 +0100
     1.2 +++ b/Admin/mira.py	Thu Mar 24 23:35:49 2011 +0100
     1.3 @@ -120,10 +120,23 @@
     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 +
     1.9 +    isabelle_home = paths[0]
    1.10 +    dep_path = dep_paths[0] if dep_paths else None
    1.11 +    prepare_isabelle_repository(isabelle_home, env.settings.contrib, dep_path, more_settings=more_settings)
    1.12 +    os.chdir(path.join(isabelle_home, subdir))
    1.13 +
    1.14 +    (return_code, log) = env.run_process('%s/bin/isabelle' % isabelle_home, 'make', '-k', target)
    1.15 +
    1.16 +    return (return_code == 0, extract_isabelle_run_summary(log),
    1.17 +      {'timing': extract_isabelle_run_timing(log)}, {'log': log}, None)
    1.18 +
    1.19 +
    1.20  def isabelle_makeall(env, case, paths, dep_paths, playground, more_settings='', target='all'):
    1.21  
    1.22      isabelle_home = paths[0]
    1.23 -    dep_path = dep_paths[0]
    1.24 +    dep_path = dep_paths[0] if dep_paths else None
    1.25      prepare_isabelle_repository(isabelle_home, env.settings.contrib, dep_path, more_settings=more_settings)
    1.26      os.chdir(isabelle_home)
    1.27