1.1 --- a/Admin/mira.py	Wed Mar 14 15:24:07 2012 +0100
     1.2 +++ b/Admin/mira.py	Wed Mar 14 15:24:51 2012 +0100
     1.3 @@ -17,6 +17,7 @@
     1.4  from mira.tools import tool
     1.5  from mira import schedule, misc
     1.6  from mira.environment import scheduler
     1.7 +from mira import repositories
     1.8  
     1.9  # build and evaluation tools
    1.10  
    1.11 @@ -292,6 +293,20 @@
    1.12      return isabelle_makeall(*args)
    1.13  
    1.14  
    1.15 +# Document and Distribution Build
    1.16 +
    1.17 +@configuration(repos = [Isabelle], deps = [])
    1.18 +def Distribution(env, case, paths, dep_paths, playground):
    1.19 +    """Document and Distribution Build"""
    1.20 +    ## FIXME This is rudimentary; study Admin/CHECKLIST to complete this configuration accordingly
    1.21 +    isabelle_home = paths[0]
    1.22 +    makedist = path.join(isabelle_home, 'Admin', 'makedist')
    1.23 +    (return_code, log) = env.run_process(makedist,
    1.24 +      REPOS = repositories.get(Isabelle).local_path, DISTPREFIX = os.getcwd())
    1.25 +    return (return_code == 0, '', ## FIXME might add summary here
    1.26 +      {}, {'log': log}, None) ## FIXME might add proper result here
    1.27 +
    1.28 +
    1.29  # Mutabelle configurations
    1.30  
    1.31  def invoke_mutabelle(theory, env, case, paths, dep_paths, playground):