--- a/Admin/mira.py Wed Dec 19 12:12:32 2012 +0100
+++ b/Admin/mira.py Wed Dec 19 16:18:46 2012 +0100
@@ -17,8 +17,7 @@
# build and evaluation tools
-def prepare_isabelle_repository(loc_isabelle, loc_dependency_heaps,
- usedir_options='', more_settings=''):
+def prepare_isabelle_repository(loc_isabelle, loc_dependency_heaps, more_settings=''):
# patch settings
extra_settings = '''
@@ -116,8 +115,7 @@
ISABELLE_GHC="/usr/bin/ghc"
'''
- prepare_isabelle_repository(isabelle_home, None,
- usedir_options="", more_settings=more_settings)
+ prepare_isabelle_repository(isabelle_home, None, more_settings=more_settings)
os.chdir(isabelle_home)
# invoke build tool
@@ -180,8 +178,7 @@
more_settings = '''
ISABELLE_GHC="/usr/bin/ghc"
'''
- prepare_isabelle_repository(loc_isabelle, dep_isabelle,
- more_settings = more_settings)
+ prepare_isabelle_repository(loc_isabelle, dep_isabelle, more_settings = more_settings)
os.chdir(loc_isabelle)
(return_code, log) = env.run_process('bin/isabelle',