--- a/Admin/mira.py Tue Jun 26 15:58:22 2012 +0200
+++ b/Admin/mira.py Sat Jun 23 20:34:21 2012 +0200
@@ -32,10 +32,10 @@
raise IOError('Bad file: %s' % loc_contrib)
subprocess.check_call(['ln', '-s', loc_contrib, '%s/contrib' % loc_isabelle])
- contributed_components = path.join(loc_isabelle, 'Admin', 'contributed_components')
- if path.exists(contributed_components):
+ components = path.join(loc_isabelle, 'Admin', 'components.common')
+ if path.exists(components):
components = []
- for component in util.readfile_lines(contributed_components):
+ for component in util.readfile_lines(components):
loc_component = path.join(loc_isabelle, component)
if path.exists(loc_component):
components.append(loc_component)