Admin/mira.py
changeset 57179 011955e7846b
parent 57172 bcc6dc6c1d1c
child 57559 841f41710066
equal deleted inserted replaced
57178:276befcd90d9 57179:011955e7846b
    96     keep_results = kwargs.get('keep_results', True)
    96     keep_results = kwargs.get('keep_results', True)
    97     timeout = kwargs.get('timeout', DEFAULT_TIMEOUT)
    97     timeout = kwargs.get('timeout', DEFAULT_TIMEOUT)
    98 
    98 
    99     isabelle_home = paths[0]
    99     isabelle_home = paths[0]
   100 
   100 
       
   101     home_user_dir = path.join(isabelle_home, 'home_user')
       
   102     os.makedirs(home_user_dir)
       
   103 
   101     # copy over build results from dependencies
   104     # copy over build results from dependencies
   102     heap_dir = path.join(isabelle_home, 'heaps')
   105     heap_dir = path.join(isabelle_home, 'heaps')
   103     classes_dir = path.join(heap_dir, 'classes')
   106     classes_dir = path.join(heap_dir, 'classes')
   104     home_user_dir = path.join(isabelle_home, 'home_user')
       
   105     os.makedirs(classes_dir)
   107     os.makedirs(classes_dir)
   106 
   108 
   107     for dep_path in dep_paths:
   109     for dep_path in dep_paths:
   108         subprocess.check_call(['cp', '-a'] + glob(dep_path + '/*') + [heap_dir])
   110         subprocess.check_call(['cp', '-a'] + glob(dep_path + '/*') + [heap_dir])
   109 
   111