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',