Changeset 01e7043 in mainline for tools/config.py

Timestamp:

2010-12-05T12:59:48Z (13 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

8fe3f832

Parents:

f5211ee (diff), 6ec0acd (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge two-level profile fix.

File:

• tools/config.py (modified) (5 diffs)

tools/config.py

@@ -413 +413 @@
         return list
 
-## Choose a profile and load configuration presets.
-#
-def load_presets(root, fname, screen, config):
+## Ask user to choose a configuration profile.
+#
+def profile_choose(root, fname, screen, config):
         options = []
         opt2path = {}
@@ -436 +436 @@
                                         subprofile = True
                                         options.append("%s (%s)" % (name, subname))
-                                        opt2path[cnt] = (canon, subcanon)
+                                        opt2path[cnt] = [name, subname]
                                         cnt += 1
                         
                         if not subprofile:
                                 options.append(name)
-                                opt2path[cnt] = (canon, None)
+                                opt2path[cnt] = [name]
                                 cnt += 1
         
@@ -449 +449 @@
                 return None
         
-        read_config(opt2path[value][0], config)
-        if opt2path[value][1] != None:
-                read_config(opt2path[value][1], config)
+        return opt2path[value]
+
+## Read presets from a configuration profile.
+#
+# @param profile        Profile to load from (a list of string components)
+# @param config         Output configuration
+#
+def presets_read(profile, config):
+        path = os.path.join(PRESETS_DIR, profile[0], MAKEFILE)
+        read_config(path, config)
+
+        if len(profile) > 1:
+                path = os.path.join(PRESETS_DIR, profile[0], profile[1], MAKEFILE)
+                read_config(path, config)
+
+## Parse profile name (relative OS path) into a list of components.
+#
+# @param profile_name   Relative path (using OS separator)
+# @return               List of components
+#
+def parse_profile_name(profile_name):
+        profile = []
+
+        head, tail = os.path.split(profile_name)
+        if head != '':
+                profile.append(head)
+
+        profile.append(tail)
+        return profile
 
 def main():
-        cfgfile_in = None
+        profile = None
         config = {}
         rules = []
@@ -464 +490 @@
         # otherwise configuration from previous run is used.
         if len(sys.argv) >= 4:
-                cfgfile_in = sys.argv[3]
-        else:
-                cfgfile_in = MAKEFILE
-        
-        # Read configuration file
-        if os.path.exists(cfgfile_in):
-                read_config(cfgfile_in, config)
+                profile = parse_profile_name(sys.argv[3])
+                presets_read(profile, config)
+        elif os.path.exists(MAKEFILE):
+                read_config(MAKEFILE, config)
         
         # Default mode: only check values and regenerate configuration files
@@ -547 +570 @@
                         
                         if value == 0:
-                                load_presets(PRESETS_DIR, MAKEFILE, screen, config)
+                                profile = profile_choose(PRESETS_DIR, MAKEFILE, screen, config)
+                                if profile != None:
+                                        presets_read(profile, config)
                                 position = 1
                                 continue