# HG changeset patch
# User haftmann
# Date 1331735091 -3600
# Node ID d2b92739038b3dbe09d8e955dba9afac8e98f300
# Parent  6d0a5549e2be7fa9fe5abd686898181a973b9493
rudimentary distribution build configuration

diff -r 6d0a5549e2be -r d2b92739038b Admin/mira.py
--- a/Admin/mira.py	Wed Mar 14 15:24:07 2012 +0100
+++ b/Admin/mira.py	Wed Mar 14 15:24:51 2012 +0100
@@ -17,6 +17,7 @@
 from mira.tools import tool
 from mira import schedule, misc
 from mira.environment import scheduler
+from mira import repositories
 
 # build and evaluation tools
 
@@ -292,6 +293,20 @@
     return isabelle_makeall(*args)
 
 
+# Document and Distribution Build
+
+@configuration(repos = [Isabelle], deps = [])
+def Distribution(env, case, paths, dep_paths, playground):
+    """Document and Distribution Build"""
+    ## FIXME This is rudimentary; study Admin/CHECKLIST to complete this configuration accordingly
+    isabelle_home = paths[0]
+    makedist = path.join(isabelle_home, 'Admin', 'makedist')
+    (return_code, log) = env.run_process(makedist,
+      REPOS = repositories.get(Isabelle).local_path, DISTPREFIX = os.getcwd())
+    return (return_code == 0, '', ## FIXME might add summary here
+      {}, {'log': log}, None) ## FIXME might add proper result here
+
+
 # Mutabelle configurations
 
 def invoke_mutabelle(theory, env, case, paths, dep_paths, playground):