# HG changeset patch
# User krauss
# Date 1344727543 -7200
# Node ID fd50596bf78b3c763fb90d806d6304c5d2efab98
# Parent  da0411d633ad50bc96a03c0c1d1128b43b3008d5
reduced settings patching

diff -r da0411d633ad -r fd50596bf78b Admin/mira.py
--- a/Admin/mira.py	Sun Aug 12 00:16:04 2012 +0200
+++ b/Admin/mira.py	Sun Aug 12 01:25:43 2012 +0200
@@ -32,23 +32,10 @@
         raise IOError('Bad file: %s' % loc_contrib)
     subprocess.check_call(['ln', '-s', loc_contrib, '%s/contrib' % loc_isabelle])
 
-    # provide existing dependencies
-    if loc_dependency_heaps:
-        isabelle_path = loc_dependency_heaps + '/$ISABELLE_IDENTIFIER:$ISABELLE_OUTPUT'
-    else:
-        isabelle_path = '$ISABELLE_OUTPUT'
-
     # patch settings
     extra_settings = '''
 ISABELLE_HOME_USER="$ISABELLE_HOME/home_user"
-ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
-ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
-ISABELLE_PATH="%s"
-
-ISABELLE_USEDIR_OPTIONS="%s"
-
 Z3_NON_COMMERCIAL="yes"
-
 source "${ISABELLE_HOME}/Admin/init_components"
 
 %s