Admin/mira.py

 from mira.environment import scheduler
 from mira import repositories
 
 # build and evaluation tools
 
-def prepare_isabelle_repository(loc_isabelle, loc_contrib, loc_dependency_heaps,
+def prepare_isabelle_repository(loc_isabelle, loc_dependency_heaps,
   usedir_options='', more_settings=''):
 
     # prepare components
-    loc_contrib = path.expanduser(loc_contrib)
+    loc_contrib = "/home/isabelle/contrib"
     if not path.exists(loc_contrib):
         raise IOError('Bad file: %s' % loc_contrib)
     subprocess.check_call(['ln', '-s', loc_contrib, '%s/contrib' % loc_isabelle])
 
     # patch settings

     if 'lxbroy10' in misc.hostnames():  # special settings for lxbroy10
         more_settings += '''
 ISABELLE_GHC="/usr/bin/ghc"
 '''
 
-    prepare_isabelle_repository(isabelle_home, env.settings.contrib, None,
+    prepare_isabelle_repository(isabelle_home, None,
       usedir_options="", more_settings=more_settings)
     os.chdir(isabelle_home)
 
     # invoke build tool
     (return_code, log) = env.run_process('%s/bin/isabelle' % isabelle_home, 'build', '-s', '-v', *cmdargs)

     (loc_isabelle,) = paths
     (dep_isabelle,) = dep_paths
     more_settings = '''
 ISABELLE_GHC="/usr/bin/ghc"
 '''
-    prepare_isabelle_repository(loc_isabelle, env.settings.contrib, dep_isabelle,
+    prepare_isabelle_repository(loc_isabelle, dep_isabelle,
       more_settings = more_settings)
     os.chdir(loc_isabelle)
     
     (return_code, log) = env.run_process('bin/isabelle',
       'mutabelle', '-O', playground, theory)

 
     isa = paths[0]
     dep_path = dep_paths[0]
 
     os.chdir(path.join(playground, '..', base_path)) # Mirabelle requires specific cwd
-    prepare_isabelle_repository(isa, env.settings.contrib, dep_path)
+    prepare_isabelle_repository(isa, dep_path)
 
     output = {}
     success_rates = {}
     some_success = False