Subversion Repositories HelenOS-historic

Rev

Rev 545 | Rev 549 | Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | Download | RSS feed

  1. #!/usr/bin/env python
  2. """
  3. Kernel configuration script
  4. """
  5. import sys
  6. import os
  7. import re
  8.  
  9. INPUT = 'kernel.config'
  10. OUTPUT = 'Makefile.config'
  11. TMPOUTPUT = 'Makefile.config.tmp'
  12.  
  13. class DefaultDialog:
  14.     "Wrapper dialog that tries to return default values"
  15.     def __init__(self, dlg):
  16.         self.dlg = dlg
  17.  
  18.     def set_title(self,text):
  19.         self.dlg.set_title(text)
  20.        
  21.     def yesno(self, text, default=None):
  22.         if default is not None:
  23.             return default
  24.         return self.dlg.yesno(text, default)
  25.     def noyes(self, text, default=None):
  26.         if default is not None:
  27.             return default
  28.         return self.dlg.noyes(text, default)
  29.    
  30.     def choice(self, text, choices, defopt=None):
  31.         if defopt is not None:
  32.             return choices[defopt][0]
  33.         return self.dlg.choice(text, choices, defopt)
  34.  
  35. class NoDialog:
  36.     def __init__(self):
  37.         self.printed = None
  38.         self.title = 'HelenOS Configuration'
  39.  
  40.     def print_title(self):
  41.         if not self.printed:
  42.             sys.stdout.write("*** %s ***\n" % self.title)
  43.             self.printed = True
  44.  
  45.     def set_title(self, text):
  46.         self.title = text
  47.         self.printed = False
  48.    
  49.     def noyes(self, text, default=None):
  50.         if not default:
  51.             default = 'n'
  52.         return self.yesno(text, default)
  53.    
  54.     def yesno(self, text, default=None):
  55.         self.print_title()
  56.        
  57.         if default != 'n':
  58.             default = 'y'
  59.         while 1:
  60.             sys.stdout.write("%s (y/n)[%s]: " % (text,default))
  61.             inp = sys.stdin.readline()
  62.             if not inp:
  63.                 raise EOFError
  64.             inp = inp.strip().lower()
  65.             if not inp:
  66.                 return default
  67.             if inp == 'y':
  68.                 return 'y'
  69.             elif inp == 'n':
  70.                 return 'n'
  71.  
  72.     def _print_choice(self, text, choices, defopt):
  73.         sys.stdout.write('%s:\n' % text)
  74.         for i,(text,descr) in enumerate(choices):
  75.             sys.stdout.write('\t%2d. %s\n' % (i, descr))
  76.         if defopt is not None:
  77.             sys.stdout.write('Enter choice number[%d]: ' % defopt)
  78.         else:
  79.             sys.stdout.write('Enter choice number: ')
  80.        
  81.     def choice(self, text, choices, defopt=None):
  82.         self.print_title()
  83.         while 1:
  84.             self._print_choice(text, choices, defopt)
  85.             inp = sys.stdin.readline()
  86.             if not inp:
  87.                 raise EOFError
  88.             if not inp.strip():
  89.                 if defopt is not None:
  90.                     return choices[defopt][0]
  91.                 continue
  92.             try:
  93.                 number = int(inp.strip())
  94.             except ValueError:
  95.                 continue
  96.             if number < 0 or number >= len(choices):
  97.                 continue
  98.             return choices[number][0]
  99.  
  100.  
  101. class Dialog(NoDialog):
  102.     def __init__(self):
  103.         NoDialog.__init__(self)
  104.         self.dlgcmd = os.environ.get('DIALOG','dialog')
  105.         self.title = 'HelenOS Configuration'
  106.        
  107.         if os.system('%s --print-maxsize >/dev/null 2>&1' % self.dlgcmd) != 0:
  108.             raise NotImplementedError
  109.  
  110.     def set_title(self,text):
  111.         self.title = text
  112.        
  113.     def calldlg(self,*args,**kw):
  114.         indesc, outdesc = os.pipe()
  115.         pid = os.fork()
  116.         if not pid:
  117.             os.close(2)
  118.             os.dup(outdesc)
  119.             os.close(indesc)
  120.            
  121.             dlgargs = [self.dlgcmd,'--title',self.title]
  122.             for key,val in kw.items():
  123.                 dlgargs.append('--'+key)
  124.                 dlgargs.append(val)
  125.             dlgargs += args            
  126.             os.execlp(self.dlgcmd,*dlgargs)
  127.  
  128.         os.close(outdesc)
  129.         errout = os.fdopen(indesc,'r')
  130.         data = errout.read()
  131.         errout.close()
  132.            
  133.         pid,status = os.wait()
  134.         if not os.WIFEXITED(status):
  135.             raise EOFError
  136.         status = os.WEXITSTATUS(status)
  137.         if status == 255:
  138.             raise EOFError
  139.         return status,data
  140.        
  141.     def yesno(self, text, default=None):
  142.         text = text + ':'
  143.         width = '50'
  144.         height = '5'
  145.         if len(text) < 48:
  146.             text = ' '*int(((48-len(text))/2)) + text
  147.         else:
  148.             width = '0'
  149.             height = '0'
  150.         if default == 'n':
  151.             res,data = self.calldlg('--defaultno','--yesno',text,height,width)
  152.         else:
  153.             res,data = self.calldlg('--yesno',text,height,width)
  154.  
  155.         if res == 0:
  156.             return 'y'
  157.         return 'n'
  158.    
  159.     def choice(self, text, choices, defopt=None):
  160.         text = text + ':'
  161.         width = '50'
  162.         height = str(8 + len(choices))
  163.         args = []
  164.         for key,val in choices:
  165.             args.append(key)
  166.             args.append(val)
  167.  
  168.         kw = {}
  169.         if defopt:
  170.             kw['default-item'] = choices[defopt][0]
  171.         res,data = self.calldlg('--nocancel','--menu',text,height,width,
  172.                                 str(len(choices)),*args, **kw)
  173.         if res:
  174.             print data
  175.             raise EOFError
  176.         return data
  177.    
  178. def read_defaults(fname,defaults):
  179.     f = file(fname,'r')
  180.     for line in f:
  181.         res = re.match(r'^(?:#!# )?([^#]\w*)\s*=\s*(.*?)\s*$', line)
  182.         if res:
  183.             defaults[res.group(1)] = res.group(2)
  184.     f.close()
  185.  
  186. def check_condition(text, defaults):
  187.     result = False
  188.     conds = text.split('|')
  189.     for cond in conds:
  190.         condname,condval = cond.split('=')
  191.         if not defaults.has_key(condname):
  192.             raise RuntimeError("Condition var %s does not exist: %s" % \
  193.                                (condname,line))
  194.         # None means wildcard
  195.         if defaults[condname] is None:
  196.             return True
  197.         if  condval == defaults[condname]:
  198.             return True
  199.     return False
  200.  
  201. def parse_config(input, output, dlg, defaults={}):
  202.     f = file(input, 'r')
  203.     outf = file(output, 'w')
  204.  
  205.     outf.write('#########################################\n')
  206.     outf.write('## AUTO-GENERATED FILE, DO NOT EDIT!!! ##\n')
  207.     outf.write('#########################################\n\n')
  208.  
  209.     comment = ''
  210.     default = None
  211.     choices = []
  212.     for line in f:        
  213.         if line.startswith('!'):
  214.             res = re.search(r'!\s*(?:\[(.*?)\])?\s*([^\s]+)\s*\((.*)\)\s*$', line)
  215.             if not res:
  216.                 raise RuntimeError("Weird line: %s" % line)
  217.             varname = res.group(2)
  218.             vartype = res.group(3)
  219.  
  220.             default = defaults.get(varname,None)
  221.  
  222.             if res.group(1):
  223.                 if not check_condition(res.group(1), defaults):
  224.                     if default is not None:
  225.                         outf.write('#!# %s = %s\n' % (varname, default))
  226.                     continue
  227.  
  228.             if vartype == 'y/n':
  229.                 result = dlg.yesno(comment, default)
  230.             elif vartype == 'n/y':
  231.                 result = dlg.noyes(comment, default)
  232.             elif vartype == 'choice':
  233.                 defopt = None
  234.                 if default is not None:
  235.                     for i,(key,val) in enumerate(choices):
  236.                         if key == default:
  237.                             defopt = i
  238.                             break
  239.                 result = dlg.choice(comment, choices, defopt)
  240.             else:
  241.                 raise RuntimeError("Bad method: %s" % vartype)
  242.             outf.write('%s = %s\n' % (varname, result))
  243.             # Remeber the selected value
  244.             defaults[varname] = result
  245.             # Clear cumulated values
  246.             comment = ''
  247.             default = None
  248.             choices = []
  249.             continue
  250.        
  251.         if line.startswith('@'):
  252.             res = re.match(r'@\s*(?:\[(.*?)\])?\s*"(.*?)"\s*(.*)$', line)
  253.             if not res:
  254.                 raise RuntimeError("Bad line: %s" % line)
  255.             if res.group(1):
  256.                 if not check_condition(res.group(1),defaults):
  257.                     continue
  258.             choices.append((res.group(2), res.group(3)))
  259.             continue
  260.        
  261.         outf.write(line)
  262.         if re.match(r'^#[^#]', line):
  263.             comment = line[1:].strip()
  264.         elif line.startswith('##'):
  265.             dlg.set_title(line[2:].strip())
  266.        
  267.     outf.close()
  268.     f.close()
  269.  
  270. def main():
  271.     defaults = {'ARCH':None}
  272.     try:
  273.         dlg = Dialog()
  274.     except NotImplementedError:
  275.         dlg = NoDialog()
  276.  
  277.     # Default run will update the configuration file
  278.     # with newest options
  279.     if len(sys.argv) >= 2:
  280.         defaults['ARCH'] = sys.argv[1]
  281.     if len(sys.argv) == 3 and sys.argv[2]=='default':
  282.         dlg = DefaultDialog(dlg)
  283.  
  284.     if os.path.exists(OUTPUT):
  285.         read_defaults(OUTPUT, defaults)
  286.    
  287.     parse_config(INPUT, TMPOUTPUT, dlg, defaults)
  288.     if os.path.exists(OUTPUT):
  289.         os.unlink(OUTPUT)
  290.     os.rename(TMPOUTPUT, OUTPUT)
  291.        
  292.  
  293. if __name__ == '__main__':
  294.     main()
  295.