Changeset 795ff98 in mainline

Timestamp:

2005-12-06T19:30:53Z (19 years ago)

Author:

Ondrej Palkovsky <ondrap@…>

Branches:

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

Children:

d43d2f7

Parents:

3bb9c99

Message:

Added conditions to config system.

Files:

• kernel.config (modified) (2 diffs)
• tools/build (modified) (1 diff)
• tools/config.py (modified) (6 diffs)

kernel.config

@@ -16 +16 @@
 
 # Deadlock detection support for spinlocks
-! CONFIG_DEBUG_SPINLOCK (y/n)
+! [CONFIG_DEBUG=y] CONFIG_DEBUG_SPINLOCK (y/n)
 
 ## Run-time configuration directives
@@ -32 +32 @@
 @ "synch/semaphore1" Semaphore test 1
 @ "synch/semaphore2" Sempahore test 2
-@ "fpu/fpu1" Intel fpu test 1
-@ "fpu/sse1" Intel Sse test 1
-@ "fpu/mips1" Mips FPU test 1
+@ [ARCH=ia32|ARCH=amd64] "fpu/fpu1" Intel fpu test 1
+@ [ARCH=ia32|ARCH=amd64] "fpu/sse1" Intel Sse test 1
+@ [ARCH=mips] "fpu/mips1" Mips FPU test 1
 @ "print/print1" Printf test 1
 @ "thread/trhead1" Thread test 1

tools/build

@@ -61 +61 @@
 fi
 
-tools/config.py default
+tools/config.py $ARCH default
 make all "ARCH=$ARCH" "TAG=$TAG" $ARGS

tools/config.py

@@ -176 +176 @@
         return data
     
-def read_defaults(fname):
-    defaults = {}
+def read_defaults(fname,defaults):
     f = file(fname,'r')
     for line in f:
-        res = re.match(r'^([^#]\w*)\s*=\s*(.*?)\s*$', line)
+        res = re.match(r'^(?:#!# )?([^#]\w*)\s*=\s*(.*?)\s*$', line)
         if res:
             defaults[res.group(1)] = res.group(2)
     f.close()
-    return defaults
+
+def check_condition(text, defaults):
+    result = False
+    conds = text.split('|')
+    for cond in conds:
+        condname,condval = cond.split('=')
+        if not defaults.has_key(condname):
+            raise RuntimeError("Condition var %s does not exist: %s" % \
+                               (condname,line))
+        # None means wildcard
+        if defaults[condname] is None:
+            return True
+        if  condval == defaults[condname]:
+            return True
+    return False
 
 def parse_config(input, output, dlg, defaults={}):
@@ -199 +212 @@
     for line in f:        
         if line.startswith('!'):
-            res = re.search(r'!\s*([^\s]+)\s*\((.*)\)\s*$', line)
+            res = re.search(r'!\s*(?:\[(.*?)\])?\s*([^\s]+)\s*\((.*)\)\s*$', line)
             if not res:
                 raise RuntimeError("Weird line: %s" % line)
-            varname = res.group(1)
-            vartype = res.group(2)
+            varname = res.group(2)
+            vartype = res.group(3)
 
             default = defaults.get(varname,None)
+
+            if res.group(1):
+                if not check_condition(res.group(1), defaults):
+                    if default is not None:
+                        outf.write('#!# %s = %s\n' % (varname, default))
+                    continue
 
             if vartype == 'y/n':
@@ -222 +241 @@
                 raise RuntimeError("Bad method: %s" % vartype)
             outf.write('%s = %s\n' % (varname, result))
+            # Remeber the selected value
+            defaults[varname] = result
             # Clear cumulated values
             comment = ''
@@ -229 +250 @@
         
         if line.startswith('@'):
-            res = re.match(r'@\s*"(.*?)"\s*(.*)$', line)
+            res = re.match(r'@\s*(?:\[(.*?)\])?\s*"(.*?)"\s*(.*)$', line)
             if not res:
                 raise RuntimeError("Bad line: %s" % line)
-            choices.append((res.group(1), res.group(2)))
+            if res.group(1):
+                if not check_condition(res.group(1),defaults):
+                    continue
+            choices.append((res.group(2), res.group(3)))
             continue
         
@@ -245 +269 @@
 
 def main():
-    defaults = {}
+    defaults = {'ARCH':None}
     try:
         dlg = Dialog()
@@ -253 +277 @@
     # Default run will update the configuration file
     # with newest options
-    if len(sys.argv) == 2 and sys.argv[1]=='default':
+    if len(sys.argv) >= 2:
+        defaults['ARCH'] = sys.argv[1]
+    if len(sys.argv) == 3 and sys.argv[2]=='default':
         dlg = DefaultDialog(dlg)
 
     if os.path.exists(OUTPUT):
-        defaults = read_defaults(OUTPUT)
+        read_defaults(OUTPUT, defaults)
     
     parse_config(INPUT, TMPOUTPUT, dlg, defaults)