# HG changeset patch
# User haftmann
# Date 1340476461 -7200
# Node ID 9cb0abdf7c0735f9fb50339e30a3e190f7863e40
# Parent  84395a03abbbeef14c1301c0585c142f1be19262
more standard filename for common components

diff -r 84395a03abbb -r 9cb0abdf7c07 Admin/components
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/components	Sat Jun 23 20:34:21 2012 +0200
@@ -0,0 +1,10 @@
+#contributed components
+contrib/cvc3-2.2
+contrib/e-1.5
+contrib/hol-light-bundle-0.5-126
+contrib/kodkodi-1.2.16
+contrib/spass-3.8ds
+contrib/scala-2.9.2
+contrib/vampire-1.0
+contrib/yices-1.0.28
+contrib/z3-3.2
diff -r 84395a03abbb -r 9cb0abdf7c07 Admin/contributed_components
--- a/Admin/contributed_components	Tue Jun 26 15:58:22 2012 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +0,0 @@
-#contributed components
-contrib/cvc3-2.2
-contrib/e-1.5
-contrib/hol-light-bundle-0.5-126
-contrib/kodkodi-1.2.16
-contrib/spass-3.8ds
-contrib/scala-2.9.2
-contrib/vampire-1.0
-contrib/yices-1.0.28
-contrib/z3-3.2
diff -r 84395a03abbb -r 9cb0abdf7c07 Admin/mira.py
--- 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)