Admin/mira.py
changeset 41554 6a515ace714b
parent 41542 a5478b1c8b8a
child 41652 4f4336e730b9
equal deleted inserted replaced
41553:ccfc070e8157 41554:6a515ace714b
     7 from glob import glob
     7 from glob import glob
     8 import subprocess
     8 import subprocess
     9 import re
     9 import re
    10 
    10 
    11 import util
    11 import util
    12 
       
    13 from mira.environment import configuration
       
    14 
       
    15 from repositories import *
       
    16 
    12 
    17 
    13 
    18 # build and evaluation tools
    14 # build and evaluation tools
    19 
    15 
    20 def prepare_isabelle_repository(loc_isabelle, loc_contrib, loc_dependency_heaps, parallelism = True):
    16 def prepare_isabelle_repository(loc_isabelle, loc_contrib, loc_dependency_heaps, parallelism = True):