# HG changeset patch
# User krauss
# Date 1355912017 -3600
# Node ID e526ac54316d44678c6114ce738e4d119e422054
# Parent  8bf60e7a6b6cf888394c4c72a1a8c8af0900073b
plain init_components calls instead of symlinks

diff -r 8bf60e7a6b6c -r e526ac54316d Admin/mira.py
--- a/Admin/mira.py	Wed Dec 19 11:10:47 2012 +0100
+++ b/Admin/mira.py	Wed Dec 19 11:13:37 2012 +0100
@@ -20,12 +20,6 @@
 def prepare_isabelle_repository(loc_isabelle, loc_dependency_heaps,
   usedir_options='', more_settings=''):
 
-    # prepare components
-    loc_contrib = "/home/isabelle/contrib"
-    if not path.exists(loc_contrib):
-        raise IOError('Bad file: %s' % loc_contrib)
-    subprocess.check_call(['ln', '-s', loc_contrib, '%s/contrib' % loc_isabelle])
-
     # patch settings
     extra_settings = '''
 ISABELLE_HOME_USER="$ISABELLE_HOME/home_user"
@@ -35,9 +29,9 @@
 
 Z3_NON_COMMERCIAL="yes"
 
-init_components "$COMPONENT/contrib" "$ISABELLE_HOME/Admin/components/main"
-init_components "$COMPONENT/contrib" "$ISABELLE_HOME/Admin/components/optional"
-init_components "$COMPONENT/contrib" "$ISABELLE_HOME/Admin/components/nonfree"
+init_components "/home/isabelle/contrib" "$ISABELLE_HOME/Admin/components/main"
+init_components "/home/isabelle/contrib" "$ISABELLE_HOME/Admin/components/optional"
+init_components "/home/isabelle/contrib" "$ISABELLE_HOME/Admin/components/nonfree"
 
 ''' + more_settings