Changeset 31fb9a0 in mainline for tools

Timestamp:

2009-03-08T13:38:22Z (16 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

0af8bcd

Parents:

ec944b1

Message:

add support for predefined configuration profiles (and subprofiles, configuration can be nested)

File:

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

tools/config.py

@@ -41 +41 @@
 MACROS = 'config.h'
 DEFS = 'config.defs'
+PRECONF = 'defaults'
 
 def read_defaults(fname, defaults):
@@ -277 +278 @@
         outdf.close()
 
+def sorted_dir(root):
+        list = os.listdir(root)
+        list.sort()
+        return list
+
+def read_preconfigured(root, fname, screen, defaults):
+        options = []
+        opt2path = {}
+        cnt = 0
+        
+        # Look for profiles
+        for name in sorted_dir(root):
+                path = os.path.join(root, name)
+                canon = os.path.join(path, fname)
+                
+                if ((os.path.isdir(path)) and (os.path.exists(canon)) and (os.path.isfile(canon))):
+                        subprofile = False
+                        
+                        # Look for subprofiles
+                        for subname in sorted_dir(path):
+                                subpath = os.path.join(path, subname)
+                                subcanon = os.path.join(subpath, fname)
+                                
+                                if ((os.path.isdir(subpath)) and (os.path.exists(subcanon)) and (os.path.isfile(subcanon))):
+                                        subprofile = True
+                                        options.append("%s (%s)" % (name, subname))
+                                        opt2path[cnt] = (canon, subcanon)
+                                        cnt += 1
+                        
+                        if (not subprofile):
+                                options.append(name)
+                                opt2path[cnt] = (canon, None)
+                                cnt += 1
+        
+        (button, value) = xtui.choice_window(screen, 'Load preconfigured defaults', 'Choose configuration profile', options, None)
+        
+        if (button == 'cancel'):
+                return None
+        
+        read_defaults(opt2path[value][0], defaults)
+        if (opt2path[value][1] != None):
+                read_defaults(opt2path[value][1], defaults)
+
 def main():
         defaults = {}
@@ -303 +347 @@
         try:
                 selname = None
+                position = None
                 while True:
                         
@@ -312 +357 @@
                         options = []
                         opt2row = {}
-                        position = None
-                        cnt = 0
+                        cnt = 1
+                        
+                        options.append("  --- Load preconfigured defaults ... ")
+                        
                         for varname, vartype, name, choices, cond in ask_names:
                                 
@@ -362 +409 @@
                                 cnt += 1
                         
+                        if (position >= options):
+                                position = None
+                        
                         (button, value) = xtui.choice_window(screen, 'HelenOS configuration', 'Choose configuration option', options, position)
                         
@@ -367 +417 @@
                                 return 'Configuration canceled'
                         
+                        if (value == 0):
+                                read_preconfigured(PRECONF, MAKEFILE, screen, defaults)
+                                position = 1
+                                continue
+                        
+                        position = None
                         if (not opt2row.has_key(value)):
                                 raise RuntimeError("Error selecting value: %s" % value)