Context Navigation

source: mainline/tools/config.py@ 04b29ca

Visit:

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

Last change on this file since 04b29ca was 04b29ca, checked in by Martin Decky <martin@…>, 16 years ago
interpret negative inference properly
Property mode set to `100755`
File size: 12.0 KB

Rev	Line
[98376de]	1	#!/usr/bin/env python
[44882c8]	2	#
[5a55ae6]	3	# Copyright (c) 2006 Ondrej Palkovsky
[9a0367f]	4	# Copyright (c) 2009 Martin Decky
[44882c8]	5	# All rights reserved.
	6	#
	7	# Redistribution and use in source and binary forms, with or without
	8	# modification, are permitted provided that the following conditions
	9	# are met:
	10	#
	11	# - Redistributions of source code must retain the above copyright
	12	# notice, this list of conditions and the following disclaimer.
	13	# - Redistributions in binary form must reproduce the above copyright
	14	# notice, this list of conditions and the following disclaimer in the
	15	# documentation and/or other materials provided with the distribution.
	16	# - The name of the author may not be used to endorse or promote products
	17	# derived from this software without specific prior written permission.
	18	#
	19	# THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
	20	# IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
	21	# OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
	22	# IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
	23	# INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
	24	# NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
	25	# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
	26	# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
	27	# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
	28	# THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
	29	#
[98376de]	30	"""
[9a0367f]	31	HelenOS configuration system
[98376de]	32	"""
	33	import sys
	34	import os
	35	import re
	36	import commands
[27fb3d6]	37	import xtui
[98376de]	38
[41f7564]	39	INPUT = sys.argv[1]
[84266669]	40	MAKEFILE = 'Makefile.config'
	41	MACROS = 'config.h'
	42	DEFS = 'config.defs'
[31fb9a0]	43	PRECONF = 'defaults'
[98376de]	44
[9a0367f]	45	def read_defaults(fname, defaults):
	46	"Read saved values from last configuration run"
	47
[84266669]	48	inf = file(fname, 'r')
[9a0367f]	49
	50	for line in inf:
	51	res = re.match(r'^(?:#!# )?([^#]\w)\s=\s(.?)\s*$', line)
	52	if (res):
	53	defaults[res.group(1)] = res.group(2)
	54
	55	inf.close()
[98376de]	56
[9a0367f]	57	def check_condition(text, defaults, ask_names):
[81c8d54]	58	"Check that the condition specified on input line is True (only CNF and DNF is supported)"
[9a0367f]	59
	60	ctype = 'cnf'
	61
	62	if ((')\|' in text) or ('\|(' in text)):
	63	ctype = 'dnf'
	64
	65	if (ctype == 'cnf'):
	66	conds = text.split('&')
	67	else:
	68	conds = text.split('\|')
	69
	70	for cond in conds:
	71	if (cond.startswith('(')) and (cond.endswith(')')):
	72	cond = cond[1:-1]
	73
	74	inside = check_inside(cond, defaults, ctype)
	75
	76	if (ctype == 'cnf') and (not inside):
	77	return False
	78
	79	if (ctype == 'dnf') and (inside):
	80	return True
	81
	82	if (ctype == 'cnf'):
	83	return True
	84	return False
[98376de]	85
[9a0367f]	86	def check_inside(text, defaults, ctype):
[81c8d54]	87	"Check for condition"
[9a0367f]	88
	89	if (ctype == 'cnf'):
	90	conds = text.split('\|')
	91	else:
	92	conds = text.split('&')
	93
	94	for cond in conds:
	95	res = re.match(r'^(.?)(!?=)(.)$', cond)
	96	if (not res):
	97	raise RuntimeError("Invalid condition: %s" % cond)
	98
	99	condname = res.group(1)
	100	oper = res.group(2)
	101	condval = res.group(3)
	102
	103	if (not defaults.has_key(condname)):
	104	varval = ''
	105	else:
	106	varval = defaults[condname]
[7aef7ee]	107	if (varval == '*'):
	108	varval = 'y'
[9a0367f]	109
	110	if (ctype == 'cnf'):
	111	if (oper == '=') and (condval == varval):
	112	return True
	113
	114	if (oper == '!=') and (condval != varval):
	115	return True
	116	else:
	117	if (oper == '=') and (condval != varval):
	118	return False
	119
	120	if (oper == '!=') and (condval == varval):
	121	return False
	122
	123	if (ctype == 'cnf'):
	124	return False
	125
	126	return True
[98376de]	127
[9a0367f]	128	def parse_config(fname, ask_names):
	129	"Parse configuration file"
	130
	131	inf = file(fname, 'r')
	132
	133	name = ''
	134	choices = []
	135
	136	for line in inf:
	137
	138	if (line.startswith('!')):
	139	# Ask a question
	140	res = re.search(r'!\s(?:\[(.?)\])?\s([^\s]+)\s\((.)\)\s$', line)
	141
	142	if (not res):
	143	raise RuntimeError("Weird line: %s" % line)
	144
	145	cond = res.group(1)
	146	varname = res.group(2)
	147	vartype = res.group(3)
	148
	149	ask_names.append((varname, vartype, name, choices, cond))
	150	name = ''
	151	choices = []
	152	continue
	153
	154	if (line.startswith('@')):
	155	# Add new line into the 'choices' array
	156	res = re.match(r'@\s(?:\[(.?)\])?\s"(.?)"\s(.)$', line)
	157
	158	if not res:
	159	raise RuntimeError("Bad line: %s" % line)
	160
	161	choices.append((res.group(2), res.group(3)))
	162	continue
	163
	164	if (line.startswith('%')):
	165	# Name of the option
	166	name = line[1:].strip()
	167	continue
	168
	169	if ((line.startswith('#')) or (line == '\n')):
	170	# Comment or empty line
	171	continue
	172
	173
	174	raise RuntimeError("Unknown syntax: %s" % line)
	175
	176	inf.close()
[98376de]	177
[9a0367f]	178	def yes_no(default):
	179	"Return '*' if yes, ' ' if no"
	180
	181	if (default == 'y'):
	182	return '*'
	183
	184	return ' '
[98376de]	185
[27fb3d6]	186	def subchoice(screen, name, choices, default):
[9a0367f]	187	"Return choice of choices"
	188
[27fb3d6]	189	maxkey = 0
	190	for key, val in choices:
	191	length = len(key)
	192	if (length > maxkey):
	193	maxkey = length
[9a0367f]	194
	195	options = []
[27fb3d6]	196	position = None
	197	cnt = 0
	198	for key, val in choices:
	199	if ((default) and (key == default)):
	200	position = cnt
	201
	202	options.append(" %-*s %s " % (maxkey, key, val))
	203	cnt += 1
[9a0367f]	204
[27fb3d6]	205	(button, value) = xtui.choice_window(screen, name, 'Choose value', options, position)
[9a0367f]	206
[27fb3d6]	207	if (button == 'cancel'):
[9a0367f]	208	return None
	209
[27fb3d6]	210	return choices[value][0]
[98376de]	211
[9a0367f]	212	def check_choices(defaults, ask_names):
	213	"Check whether all accessible variables have a default"
	214
[27fb3d6]	215	for varname, vartype, name, choices, cond in ask_names:
[9a0367f]	216	if ((cond) and (not check_condition(cond, defaults, ask_names))):
	217	continue
	218
	219	if (not defaults.has_key(varname)):
	220	return False
	221
	222	return True
[98376de]	223
[84266669]	224	def create_output(mkname, mcname, dfname, defaults, ask_names):
[9a0367f]	225	"Create output configuration"
	226
[84266669]	227	revision = commands.getoutput('svnversion . 2> /dev/null')
	228	timestamp = commands.getoutput('date "+%Y-%m-%d %H:%M:%S"')
	229
	230	outmk = file(mkname, 'w')
	231	outmc = file(mcname, 'w')
	232	outdf = file(dfname, 'w')
	233
	234	outmk.write('#########################################\n')
	235	outmk.write('## AUTO-GENERATED FILE, DO NOT EDIT!!! ##\n')
	236	outmk.write('#########################################\n\n')
[9a0367f]	237
[84266669]	238	outmc.write('/***************************************\n')
	239	outmc.write(' * AUTO-GENERATED FILE, DO NOT EDIT!!! *\n')
	240	outmc.write(' ***************************************/\n\n')
	241
	242	outdf.write('#########################################\n')
	243	outdf.write('## AUTO-GENERATED FILE, DO NOT EDIT!!! ##\n')
	244	outdf.write('#########################################\n\n')
	245	outdf.write('CONFIG_DEFS =')
[9a0367f]	246
[27fb3d6]	247	for varname, vartype, name, choices, cond in ask_names:
[9a0367f]	248	if ((cond) and (not check_condition(cond, defaults, ask_names))):
	249	continue
	250
	251	if (not defaults.has_key(varname)):
	252	default = ''
	253	else:
	254	default = defaults[varname]
[7aef7ee]	255	if (default == '*'):
	256	default = 'y'
[9a0367f]	257
[84266669]	258	outmk.write('# %s\n%s = %s\n\n' % (name, varname, default))
	259
[04b29ca]	260	if ((vartype == "y") or (vartype == "n") or (vartype == "y/n") or (vartype == "n/y")):
[84266669]	261	if (default == "y"):
	262	outmc.write('/* %s */\n#define %s\n\n' % (name, varname))
	263	outdf.write(' -D%s' % varname)
	264	else:
[06da55b]	265	outmc.write('/* %s */\n#define %s %s\n#define %s_%s\n\n' % (name, varname, default, varname, default))
	266	outdf.write(' -D%s=%s -D%s_%s' % (varname, default, varname, default))
[9a0367f]	267
[84266669]	268	outmk.write('REVISION = %s\n' % revision)
	269	outmk.write('TIMESTAMP = %s\n' % timestamp)
	270
	271	outmc.write('#define REVISION %s\n' % revision)
	272	outmc.write('#define TIMESTAMP %s\n' % timestamp)
	273
	274	outdf.write(' "-DREVISION=%s" "-DTIMESTAMP=%s"\n' % (revision, timestamp))
	275
	276	outmk.close()
	277	outmc.close()
	278	outdf.close()
[98376de]	279
[31fb9a0]	280	def sorted_dir(root):
	281	list = os.listdir(root)
	282	list.sort()
	283	return list
	284
	285	def read_preconfigured(root, fname, screen, defaults):
	286	options = []
	287	opt2path = {}
	288	cnt = 0
	289
	290	# Look for profiles
	291	for name in sorted_dir(root):
	292	path = os.path.join(root, name)
	293	canon = os.path.join(path, fname)
	294
	295	if ((os.path.isdir(path)) and (os.path.exists(canon)) and (os.path.isfile(canon))):
	296	subprofile = False
	297
	298	# Look for subprofiles
	299	for subname in sorted_dir(path):
	300	subpath = os.path.join(path, subname)
	301	subcanon = os.path.join(subpath, fname)
	302
	303	if ((os.path.isdir(subpath)) and (os.path.exists(subcanon)) and (os.path.isfile(subcanon))):
	304	subprofile = True
	305	options.append("%s (%s)" % (name, subname))
	306	opt2path[cnt] = (canon, subcanon)
	307	cnt += 1
	308
	309	if (not subprofile):
	310	options.append(name)
	311	opt2path[cnt] = (canon, None)
	312	cnt += 1
	313
	314	(button, value) = xtui.choice_window(screen, 'Load preconfigured defaults', 'Choose configuration profile', options, None)
	315
	316	if (button == 'cancel'):
	317	return None
	318
	319	read_defaults(opt2path[value][0], defaults)
	320	if (opt2path[value][1] != None):
	321	read_defaults(opt2path[value][1], defaults)
	322
[98376de]	323	def main():
[9a0367f]	324	defaults = {}
	325	ask_names = []
	326
	327	# Parse configuration file
	328	parse_config(INPUT, ask_names)
	329
	330	# Read defaults from previous run
[84266669]	331	if os.path.exists(MAKEFILE):
	332	read_defaults(MAKEFILE, defaults)
[9a0367f]	333
	334	# Default mode: only check defaults and regenerate configuration
	335	if ((len(sys.argv) >= 3) and (sys.argv[2] == 'default')):
	336	if (check_choices(defaults, ask_names)):
[84266669]	337	create_output(MAKEFILE, MACROS, DEFS, defaults, ask_names)
[9a0367f]	338	return 0
	339
[48c3d50]	340	# Check mode: only check defaults
	341	if ((len(sys.argv) >= 3) and (sys.argv[2] == 'check')):
	342	if (check_choices(defaults, ask_names)):
	343	return 0
	344	return 1
	345
[27fb3d6]	346	screen = xtui.screen_init()
[9a0367f]	347	try:
	348	selname = None
[31fb9a0]	349	position = None
[9a0367f]	350	while True:
	351
[81c8d54]	352	# Cancel out all defaults which have to be deduced
	353	for varname, vartype, name, choices, cond in ask_names:
[7aef7ee]	354	if ((vartype == 'y') and (defaults.has_key(varname)) and (defaults[varname] == '*')):
[81c8d54]	355	defaults[varname] = None
	356
[9a0367f]	357	options = []
	358	opt2row = {}
[31fb9a0]	359	cnt = 1
	360
	361	options.append(" --- Load preconfigured defaults ... ")
	362
[27fb3d6]	363	for varname, vartype, name, choices, cond in ask_names:
[9a0367f]	364
	365	if ((cond) and (not check_condition(cond, defaults, ask_names))):
	366	continue
	367
	368	if (varname == selname):
	369	position = cnt
	370
	371	if (not defaults.has_key(varname)):
	372	default = None
	373	else:
	374	default = defaults[varname]
	375
	376	if (vartype == 'choice'):
	377	# Check if the default is an acceptable value
	378	if ((default) and (not default in [choice[0] for choice in choices])):
	379	default = None
	380	defaults.pop(varname)
	381
	382	# If there is just one option, use it
	383	if (len(choices) == 1):
[84266669]	384	defaults[varname] = choices[0][0]
	385	continue
[9a0367f]	386
[c79d50d]	387	if (default == None):
	388	options.append("? %s --> " % name)
	389	else:
	390	options.append(" %s [%s] --> " % (name, default))
[84266669]	391	elif (vartype == 'y'):
[7aef7ee]	392	defaults[varname] = '*'
[84266669]	393	continue
[95b4838d]	394	elif (vartype == 'n'):
	395	defaults[varname] = 'n'
	396	continue
[9a0367f]	397	elif (vartype == 'y/n'):
	398	if (default == None):
	399	default = 'y'
	400	defaults[varname] = default
[c79d50d]	401	options.append(" <%s> %s " % (yes_no(default), name))
[9a0367f]	402	elif (vartype == 'n/y'):
	403	if (default == None):
	404	default = 'n'
	405	defaults[varname] = default
[c79d50d]	406	options.append(" <%s> %s " % (yes_no(default), name))
[9a0367f]	407	else:
	408	raise RuntimeError("Unknown variable type: %s" % vartype)
	409
[27fb3d6]	410	opt2row[cnt] = (varname, vartype, name, choices)
[9a0367f]	411
	412	cnt += 1
	413
[31fb9a0]	414	if (position >= options):
	415	position = None
	416
[27fb3d6]	417	(button, value) = xtui.choice_window(screen, 'HelenOS configuration', 'Choose configuration option', options, position)
[9a0367f]	418
[27fb3d6]	419	if (button == 'cancel'):
[9a0367f]	420	return 'Configuration canceled'
	421
[6346efd]	422	if (button == 'done'):
	423	if (check_choices(defaults, ask_names)):
	424	break
	425	else:
	426	xtui.error_dialog(screen, 'Error', 'Some options have still undefined values. These options are marked with the "?" sign.')
	427	continue
	428
[31fb9a0]	429	if (value == 0):
	430	read_preconfigured(PRECONF, MAKEFILE, screen, defaults)
	431	position = 1
	432	continue
	433
	434	position = None
[27fb3d6]	435	if (not opt2row.has_key(value)):
	436	raise RuntimeError("Error selecting value: %s" % value)
	437
	438	(selname, seltype, name, choices) = opt2row[value]
[9a0367f]	439
[27fb3d6]	440	if (not defaults.has_key(selname)):
	441	default = None
	442	else:
	443	default = defaults[selname]
[9a0367f]	444
	445	if (seltype == 'choice'):
[27fb3d6]	446	defaults[selname] = subchoice(screen, name, choices, default)
[9a0367f]	447	elif ((seltype == 'y/n') or (seltype == 'n/y')):
	448	if (defaults[selname] == 'y'):
	449	defaults[selname] = 'n'
	450	else:
	451	defaults[selname] = 'y'
	452	finally:
[27fb3d6]	453	xtui.screen_done(screen)
[9a0367f]	454
[84266669]	455	create_output(MAKEFILE, MACROS, DEFS, defaults, ask_names)
[9a0367f]	456	return 0
[98376de]	457
	458	if __name__ == '__main__':
[43a10c4]	459	sys.exit(main())

Note: See TracBrowser for help on using the repository browser.

Download in other formats: