removed unused usedir_options
authorkrauss
Wed Dec 19 16:18:46 2012 +0100 (2012-12-19)
changeset 50598b4d62535f5cd
parent 50597 e57ed50f6bf5
child 50599 e129fcc720c1
removed unused usedir_options
Admin/mira.py
     1.1 --- a/Admin/mira.py	Wed Dec 19 12:12:32 2012 +0100
     1.2 +++ b/Admin/mira.py	Wed Dec 19 16:18:46 2012 +0100
     1.3 @@ -17,8 +17,7 @@
     1.4  
     1.5  # build and evaluation tools
     1.6  
     1.7 -def prepare_isabelle_repository(loc_isabelle, loc_dependency_heaps,
     1.8 -  usedir_options='', more_settings=''):
     1.9 +def prepare_isabelle_repository(loc_isabelle, loc_dependency_heaps, more_settings=''):
    1.10  
    1.11      # patch settings
    1.12      extra_settings = '''
    1.13 @@ -116,8 +115,7 @@
    1.14  ISABELLE_GHC="/usr/bin/ghc"
    1.15  '''
    1.16  
    1.17 -    prepare_isabelle_repository(isabelle_home, None,
    1.18 -      usedir_options="", more_settings=more_settings)
    1.19 +    prepare_isabelle_repository(isabelle_home, None, more_settings=more_settings)
    1.20      os.chdir(isabelle_home)
    1.21  
    1.22      # invoke build tool
    1.23 @@ -180,8 +178,7 @@
    1.24      more_settings = '''
    1.25  ISABELLE_GHC="/usr/bin/ghc"
    1.26  '''
    1.27 -    prepare_isabelle_repository(loc_isabelle, dep_isabelle,
    1.28 -      more_settings = more_settings)
    1.29 +    prepare_isabelle_repository(loc_isabelle, dep_isabelle, more_settings = more_settings)
    1.30      os.chdir(loc_isabelle)
    1.31      
    1.32      (return_code, log) = env.run_process('bin/isabelle',