# HG changeset patch
# User krauss
# Date 1344800938 -7200
# Node ID de617c90413107ef26a58b005de2358578e17835
# Parent  e955964d89cbc44f72f84da2f71ff4f58c5f08db
fixed mira.py (cf. fd50596bf78b)

diff -r e955964d89cb -r de617c904131 Admin/mira.py
--- a/Admin/mira.py	Sun Aug 12 20:45:34 2012 +0200
+++ b/Admin/mira.py	Sun Aug 12 21:48:58 2012 +0200
@@ -21,10 +21,8 @@
 
 # build and evaluation tools
 
-default_usedir_options = "$ISABELLE_USEDIR_OPTIONS -d pdf -g true -i true -t true"
-
 def prepare_isabelle_repository(loc_isabelle, loc_contrib, loc_dependency_heaps,
-  usedir_options=default_usedir_options, more_settings=''):
+  usedir_options='', more_settings=''):
 
     # prepare components
     loc_contrib = path.expanduser(loc_contrib)
@@ -38,8 +36,7 @@
 Z3_NON_COMMERCIAL="yes"
 source "${ISABELLE_HOME}/Admin/init_components"
 
-%s
-''' % (isabelle_path, usedir_options, more_settings)
+''' + more_settings
 
     writer = open(path.join(loc_isabelle, 'etc', 'settings'), 'a')
     writer.write(extra_settings)