# HG changeset patch
# User krauss
# Date 1301006149 -3600
# Node ID e6a1dc0aa058bb4756ec9629318ea61b5b73a367
# Parent  1cdf54e845fa7ed76e8f2f30291ca7e483732dd9
mira interface to 'isabelle make' in addition to usedir and makeall;
do not require dependencies

diff -r 1cdf54e845fa -r e6a1dc0aa058 Admin/mira.py
--- a/Admin/mira.py	Thu Mar 24 23:28:07 2011 +0100
+++ b/Admin/mira.py	Thu Mar 24 23:35:49 2011 +0100
@@ -120,10 +120,23 @@
       {'timing': extract_isabelle_run_timing(log)}, {'log': log}, result)
 
 
+def isabelle_make(subdir, env, case, paths, dep_paths, playground, more_settings='', target='all'):
+
+    isabelle_home = paths[0]
+    dep_path = dep_paths[0] if dep_paths else None
+    prepare_isabelle_repository(isabelle_home, env.settings.contrib, dep_path, more_settings=more_settings)
+    os.chdir(path.join(isabelle_home, subdir))
+
+    (return_code, log) = env.run_process('%s/bin/isabelle' % isabelle_home, 'make', '-k', target)
+
+    return (return_code == 0, extract_isabelle_run_summary(log),
+      {'timing': extract_isabelle_run_timing(log)}, {'log': log}, None)
+
+
 def isabelle_makeall(env, case, paths, dep_paths, playground, more_settings='', target='all'):
 
     isabelle_home = paths[0]
-    dep_path = dep_paths[0]
+    dep_path = dep_paths[0] if dep_paths else None
     prepare_isabelle_repository(isabelle_home, env.settings.contrib, dep_path, more_settings=more_settings)
     os.chdir(isabelle_home)