source: mainline/tools/config.py@ ac0cb2a

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Last change on this file since ac0cb2a was ac0cb2a, checked in by Ondrej Palkovsky <ondrap@…>, 20 years ago

Added simple support for arc keyboards on mips.

  • Property mode set to 100755
File size: 13.8 KB
RevLine 
[34722ee]1#!/usr/bin/env python
2"""
3Kernel configuration script
4"""
5import sys
6import os
7import re
[940cac0]8import commands
[34722ee]9
10INPUT = 'kernel.config'
11OUTPUT = 'Makefile.config'
12TMPOUTPUT = 'Makefile.config.tmp'
13
14class DefaultDialog:
15 "Wrapper dialog that tries to return default values"
16 def __init__(self, dlg):
17 self.dlg = dlg
18
19 def set_title(self,text):
20 self.dlg.set_title(text)
21
22 def yesno(self, text, default=None):
23 if default is not None:
24 return default
25 return self.dlg.yesno(text, default)
26 def noyes(self, text, default=None):
27 if default is not None:
28 return default
29 return self.dlg.noyes(text, default)
30
31 def choice(self, text, choices, defopt=None):
32 if defopt is not None:
33 return choices[defopt][0]
34 return self.dlg.choice(text, choices, defopt)
35
36class NoDialog:
37 def __init__(self):
38 self.printed = None
39 self.title = 'HelenOS Configuration'
40
41 def print_title(self):
42 if not self.printed:
[2d93f1f9]43 sys.stdout.write("\n*** %s ***\n" % self.title)
[34722ee]44 self.printed = True
45
46 def set_title(self, text):
47 self.title = text
48 self.printed = False
49
50 def noyes(self, text, default=None):
51 if not default:
52 default = 'n'
53 return self.yesno(text, default)
54
55 def yesno(self, text, default=None):
56 self.print_title()
57
58 if default != 'n':
59 default = 'y'
60 while 1:
61 sys.stdout.write("%s (y/n)[%s]: " % (text,default))
62 inp = sys.stdin.readline()
63 if not inp:
64 raise EOFError
65 inp = inp.strip().lower()
66 if not inp:
67 return default
68 if inp == 'y':
69 return 'y'
70 elif inp == 'n':
71 return 'n'
72
73 def _print_choice(self, text, choices, defopt):
74 sys.stdout.write('%s:\n' % text)
75 for i,(text,descr) in enumerate(choices):
76 sys.stdout.write('\t%2d. %s\n' % (i, descr))
77 if defopt is not None:
78 sys.stdout.write('Enter choice number[%d]: ' % defopt)
79 else:
80 sys.stdout.write('Enter choice number: ')
[beb39ee3]81
82 def menu(self, text, choices, button, defopt=None):
[994cf4b]83 menu = []
84 for key, descr in choices:
85 txt = key + (45-len(key))*' ' + ': ' + descr
86 menu.append((key, txt))
87
88 return self.choice(text, [button] + menu)
[34722ee]89
90 def choice(self, text, choices, defopt=None):
91 self.print_title()
92 while 1:
93 self._print_choice(text, choices, defopt)
94 inp = sys.stdin.readline()
95 if not inp:
96 raise EOFError
97 if not inp.strip():
98 if defopt is not None:
99 return choices[defopt][0]
100 continue
101 try:
102 number = int(inp.strip())
103 except ValueError:
104 continue
105 if number < 0 or number >= len(choices):
106 continue
107 return choices[number][0]
108
109
110class Dialog(NoDialog):
111 def __init__(self):
112 NoDialog.__init__(self)
113 self.dlgcmd = os.environ.get('DIALOG','dialog')
[beb39ee3]114 self.title = ''
115 self.backtitle = 'HelenOS Kernel Configuration'
[34722ee]116
117 if os.system('%s --print-maxsize >/dev/null 2>&1' % self.dlgcmd) != 0:
118 raise NotImplementedError
119
120 def set_title(self,text):
121 self.title = text
122
123 def calldlg(self,*args,**kw):
[090e7ea1]124 "Wrapper for calling 'dialog' program"
[34722ee]125 indesc, outdesc = os.pipe()
126 pid = os.fork()
127 if not pid:
128 os.close(2)
129 os.dup(outdesc)
130 os.close(indesc)
131
[beb39ee3]132 dlgargs = [self.dlgcmd,'--title',self.title,
133 '--backtitle', self.backtitle]
[34722ee]134 for key,val in kw.items():
135 dlgargs.append('--'+key)
136 dlgargs.append(val)
137 dlgargs += args
138 os.execlp(self.dlgcmd,*dlgargs)
139
140 os.close(outdesc)
[839470f]141
142 try:
143 errout = os.fdopen(indesc,'r')
144 data = errout.read()
145 errout.close()
146 pid,status = os.wait()
147 except:
148 os.system('reset') # Reset terminal
149 raise
150
[34722ee]151 if not os.WIFEXITED(status):
[839470f]152 os.system('reset') # Reset terminal
[34722ee]153 raise EOFError
[839470f]154
[34722ee]155 status = os.WEXITSTATUS(status)
156 if status == 255:
157 raise EOFError
158 return status,data
159
160 def yesno(self, text, default=None):
[839470f]161 if text[-1] not in ('?',':'):
162 text = text + ':'
[34722ee]163 width = '50'
164 height = '5'
165 if len(text) < 48:
166 text = ' '*int(((48-len(text))/2)) + text
167 else:
168 width = '0'
169 height = '0'
170 if default == 'n':
171 res,data = self.calldlg('--defaultno','--yesno',text,height,width)
172 else:
173 res,data = self.calldlg('--yesno',text,height,width)
174
175 if res == 0:
176 return 'y'
177 return 'n'
[beb39ee3]178
179 def menu(self, text, choices, button, defopt=None):
180 text = text + ':'
181 width = '70'
182 height = str(8 + len(choices))
183 args = []
184 for key,val in choices:
185 args.append(key)
186 args.append(val)
187
188 kw = {}
189 if defopt:
190 kw['default-item'] = choices[defopt][0]
[ac0cb2a]191 res,data = self.calldlg('--ok-label','Change',
192 '--extra-label',button[1],
[45ab770]193 '--extra-button',
[beb39ee3]194 '--menu',text,height,width,
195 str(len(choices)),*args,**kw)
[45ab770]196 if res == 3:
[beb39ee3]197 return button[0]
[45ab770]198 if res == 1: # Cancel
199 sys.exit(1)
[beb39ee3]200 elif res:
201 print data
202 raise EOFError
203 return data
[34722ee]204
205 def choice(self, text, choices, defopt=None):
206 text = text + ':'
207 width = '50'
208 height = str(8 + len(choices))
209 args = []
210 for key,val in choices:
211 args.append(key)
212 args.append(val)
213
214 kw = {}
215 if defopt:
216 kw['default-item'] = choices[defopt][0]
217 res,data = self.calldlg('--nocancel','--menu',text,height,width,
218 str(len(choices)),*args, **kw)
219 if res:
220 print data
221 raise EOFError
222 return data
223
[795ff98]224def read_defaults(fname,defaults):
[090e7ea1]225 "Read saved values from last configuration run"
[34722ee]226 f = file(fname,'r')
227 for line in f:
[795ff98]228 res = re.match(r'^(?:#!# )?([^#]\w*)\s*=\s*(.*?)\s*$', line)
[34722ee]229 if res:
230 defaults[res.group(1)] = res.group(2)
231 f.close()
[795ff98]232
233def check_condition(text, defaults):
[9371c30]234 result = True
235 conds = text.split('&')
236 for cond in conds:
237 if cond.startswith('(') and cond.endswith(')'):
238 cond = cond[1:-1]
239 if not check_dnf(cond, defaults):
240 return False
241 return True
242
243def check_dnf(text, defaults):
244 """
245 Check that the condition specified on input line is True
246
247 only CNF is supported
248 """
[795ff98]249 conds = text.split('|')
250 for cond in conds:
[9371c30]251 res = re.match(r'^(.*?)(!?=)(.*)$', cond)
252 if not res:
253 raise RuntimeError("Invalid condition: %s" % cond)
254 condname = res.group(1)
255 oper = res.group(2)
256 condval = res.group(3)
[795ff98]257 if not defaults.has_key(condname):
258 raise RuntimeError("Condition var %s does not exist: %s" % \
[9371c30]259 (condname,text))
260
261 if oper=='=' and condval == defaults[condname]:
[795ff98]262 return True
[9371c30]263 if oper == '!=' and condval != defaults[condname]:
[795ff98]264 return True
265 return False
[34722ee]266
[beb39ee3]267def parse_config(input, output, dlg, defaults={}, askonly=None):
[090e7ea1]268 "Parse configuration file and create Makefile.config on the fly"
[9d5e23c]269 def ask_the_question(dialog):
[253f8590]270 "Ask question based on the type of variables to ask"
271 # This is quite a hack, this thingy is written just to
272 # have access to local variables..
273 if vartype == 'y/n':
[9d5e23c]274 return dialog.yesno(comment, default)
[253f8590]275 elif vartype == 'n/y':
[9d5e23c]276 return dialog.noyes(comment, default)
[253f8590]277 elif vartype == 'choice':
278 defopt = None
279 if default is not None:
280 for i,(key,val) in enumerate(choices):
281 if key == default:
282 defopt = i
283 break
[9d5e23c]284 return dialog.choice(comment, choices, defopt)
[253f8590]285 else:
286 raise RuntimeError("Bad method: %s" % vartype)
287
288
[34722ee]289 f = file(input, 'r')
290 outf = file(output, 'w')
291
292 outf.write('#########################################\n')
293 outf.write('## AUTO-GENERATED FILE, DO NOT EDIT!!! ##\n')
294 outf.write('#########################################\n\n')
295
[beb39ee3]296 asked_names = []
297
[34722ee]298 comment = ''
299 default = None
300 choices = []
[9371c30]301 for line in f:
302 if line.startswith('%'):
303 res = re.match(r'^%\s*(?:\[(.*?)\])?\s*(.*)$', line)
304 if not res:
305 raise RuntimeError('Invalid command: %s' % line)
306 if res.group(1):
307 if not check_condition(res.group(1), defaults):
308 continue
309 args = res.group(2).strip().split(' ')
310 cmd = args[0].lower()
311 args = args[1:]
[beb39ee3]312 if cmd == 'saveas':
[9371c30]313 outf.write('%s = %s\n' % (args[1],defaults[args[0]]))
[54257ba]314 elif cmd == 'shellcmd':
315 varname = args[0]
316 args = args[1:]
317 for i,arg in enumerate(args):
318 if arg.startswith('$'):
319 args[i] = defaults[arg[1:]]
[9d5e23c]320 data,status = commands.getstatusoutput(' '.join(args))
321 if status:
[54257ba]322 raise RuntimeError('Error running: %s' % ' '.join(args))
[9d5e23c]323 outf.write('%s = %s\n' % (varname,data.strip()))
[9371c30]324 continue
325
[34722ee]326 if line.startswith('!'):
[090e7ea1]327 # Ask a question
[795ff98]328 res = re.search(r'!\s*(?:\[(.*?)\])?\s*([^\s]+)\s*\((.*)\)\s*$', line)
[34722ee]329 if not res:
330 raise RuntimeError("Weird line: %s" % line)
[795ff98]331 varname = res.group(2)
332 vartype = res.group(3)
[34722ee]333
334 default = defaults.get(varname,None)
[beb39ee3]335
[795ff98]336 if res.group(1):
337 if not check_condition(res.group(1), defaults):
338 if default is not None:
339 outf.write('#!# %s = %s\n' % (varname, default))
[9371c30]340 # Clear cumulated values
341 comment = ''
342 default = None
343 choices = []
[795ff98]344 continue
[beb39ee3]345
346 asked_names.append((varname,comment))
347
[253f8590]348 if default is None or not askonly or askonly == varname:
[9d5e23c]349 default = ask_the_question(dlg)
350 else:
351 default = ask_the_question(DefaultDialog(dlg))
[795ff98]352
[253f8590]353 outf.write('%s = %s\n' % (varname, default))
[795ff98]354 # Remeber the selected value
[253f8590]355 defaults[varname] = default
[34722ee]356 # Clear cumulated values
357 comment = ''
358 default = None
359 choices = []
360 continue
361
362 if line.startswith('@'):
[090e7ea1]363 # Add new line into the 'choice array'
[795ff98]364 res = re.match(r'@\s*(?:\[(.*?)\])?\s*"(.*?)"\s*(.*)$', line)
[34722ee]365 if not res:
366 raise RuntimeError("Bad line: %s" % line)
[795ff98]367 if res.group(1):
368 if not check_condition(res.group(1),defaults):
369 continue
370 choices.append((res.group(2), res.group(3)))
[34722ee]371 continue
[090e7ea1]372
373 # All other things print to output file
[34722ee]374 outf.write(line)
375 if re.match(r'^#[^#]', line):
[090e7ea1]376 # Last comment before question will be displayed to the user
[34722ee]377 comment = line[1:].strip()
[2d93f1f9]378 elif line.startswith('## '):
[090e7ea1]379 # Set title of the dialog window
[34722ee]380 dlg.set_title(line[2:].strip())
[940cac0]381
382 outf.write('\n')
383 outf.write('REVISION=%s\n' % commands.getoutput('svnversion . 2> /dev/null'))
384 outf.write('TIMESTAMP=%s\n' % commands.getoutput('date "+%Y-%m-%d %H:%M:%S"'))
[34722ee]385 outf.close()
386 f.close()
[beb39ee3]387 return asked_names
[34722ee]388
389def main():
[9371c30]390 defaults = {}
[34722ee]391 try:
392 dlg = Dialog()
393 except NotImplementedError:
394 dlg = NoDialog()
395
[9371c30]396 if len(sys.argv) == 2 and sys.argv[1]=='default':
[beb39ee3]397 defmode = True
398 else:
399 defmode = False
[34722ee]400
[beb39ee3]401 # Default run will update the configuration file
402 # with newest options
[34722ee]403 if os.path.exists(OUTPUT):
[795ff98]404 read_defaults(OUTPUT, defaults)
[994cf4b]405
406 # Dry run only with defaults
[beb39ee3]407 varnames = parse_config(INPUT, TMPOUTPUT, DefaultDialog(dlg), defaults)
408 # If not in default mode, present selection of all possibilities
409 if not defmode:
410 defopt = 0
411 while 1:
[994cf4b]412 # varnames contains variable names that were in the
413 # last question set
[beb39ee3]414 choices = [ (x[1],defaults[x[0]]) for x in varnames ]
415 res = dlg.menu('Configuration',choices,('save','Save'),defopt)
416 if res == 'save':
417 parse_config(INPUT, TMPOUTPUT, DefaultDialog(dlg), defaults)
418 break
419 # transfer description back to varname
420 for i,(vname,descr) in enumerate(varnames):
421 if res == descr:
422 defopt = i
423 break
[994cf4b]424 # Ask the user a simple question, produce output
425 # as if the user answered all the other questions
426 # with default answer
[beb39ee3]427 varnames = parse_config(INPUT, TMPOUTPUT, dlg, defaults,
428 askonly=varnames[i][0])
429
430
[34722ee]431 if os.path.exists(OUTPUT):
432 os.unlink(OUTPUT)
433 os.rename(TMPOUTPUT, OUTPUT)
[839470f]434
435 if not defmode and dlg.yesno('Rebuild kernel?') == 'y':
436 os.execlp('make','make','clean','all')
[34722ee]437
438if __name__ == '__main__':
439 main()
Note: See TracBrowser for help on using the repository browser.