Subversion Repositories HelenOS

#!/usr/bin/env python

#

# Copyright (c) 2006 Ondrej Palkovsky

# Copyright (c) 2009 Martin Decky

# All rights reserved.

#

# Redistribution and use in source and binary forms, with or without

# modification, are permitted provided that the following conditions

# are met:

#

# - Redistributions of source code must retain the above copyright

#   notice, this list of conditions and the following disclaimer.

# - Redistributions in binary form must reproduce the above copyright

#   notice, this list of conditions and the following disclaimer in the

#   documentation and/or other materials provided with the distribution.

# - The name of the author may not be used to endorse or promote products

#   derived from this software without specific prior written permission.

#

# THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR

# IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES

# OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.

# IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,

# INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT

# NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,

# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY

# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT

# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF

# THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

#

"""

HelenOS configuration system

"""

import sys

import os

import re

import commands

import snack

INPUT = sys.argv[1]

OUTPUT = 'Makefile.config'

def read_defaults(fname, defaults):

    "Read saved values from last configuration run"

    inf = file(fname,'r')

    for line in inf:

        res = re.match(r'^(?:#!# )?([^#]\w*)\s*=\s*(.*?)\s*$', line)

        if (res):

            defaults[res.group(1)] = res.group(2)

    inf.close()

def check_condition(text, defaults, ask_names):

    "Check for condition"

    ctype = 'cnf'

    if ((')|' in text) or ('|(' in text)):

        ctype = 'dnf'

    if (ctype == 'cnf'):

        conds = text.split('&')

    else:

        conds = text.split('|')

    for cond in conds:

        if (cond.startswith('(')) and (cond.endswith(')')):

            cond = cond[1:-1]

        inside = check_inside(cond, defaults, ctype)

        if (ctype == 'cnf') and (not inside):

            return False

        if (ctype == 'dnf') and (inside):

            return True

    if (ctype == 'cnf'):

        return True

    return False

def check_inside(text, defaults, ctype):

    "Check that the condition specified on input line is True (only CNF is supported)"

    if (ctype == 'cnf'):

        conds = text.split('|')

    else:

        conds = text.split('&')

    for cond in conds:

        res = re.match(r'^(.*?)(!?=)(.*)$', cond)

        if (not res):

            raise RuntimeError("Invalid condition: %s" % cond)

        condname = res.group(1)

        oper = res.group(2)

        condval = res.group(3)

        if (not defaults.has_key(condname)):

            varval = ''

        else:

            varval = defaults[condname]

        if (ctype == 'cnf'):

            if (oper == '=') and (condval == varval):

                return True

            if (oper == '!=') and (condval != varval):

                return True

        else:

            if (oper == '=') and (condval != varval):

                return False

            if (oper == '!=') and (condval == varval):

                return False

    if (ctype == 'cnf'):

        return False

    return True

def parse_config(fname, ask_names):

    "Parse configuration file"

    inf = file(fname, 'r')

    name = ''

    choices = []

    for line in inf:

        if (line.startswith('!')):

            # Ask a question

            res = re.search(r'!\s*(?:\[(.*?)\])?\s*([^\s]+)\s*\((.*)\)\s*$', line)

            if (not res):

                raise RuntimeError("Weird line: %s" % line)

            cond = res.group(1)

            varname = res.group(2)

            vartype = res.group(3)

            ask_names.append((varname, vartype, name, choices, cond))

            name = ''

            choices = []

            continue

        if (line.startswith('@')):

            # Add new line into the 'choices' array

            res = re.match(r'@\s*(?:\[(.*?)\])?\s*"(.*?)"\s*(.*)$', line)

            if not res:

                raise RuntimeError("Bad line: %s" % line)

            choices.append((res.group(2), res.group(3)))

            continue

        if (line.startswith('%')):

            # Name of the option

            name = line[1:].strip()

            continue

        if ((line.startswith('#')) or (line == '\n')):

            # Comment or empty line

            continue

        raise RuntimeError("Unknown syntax: %s" % line)

    inf.close()

def yes_no(default):

    "Return '*' if yes, ' ' if no"

    if (default == 'y'):

        return '*'

    return ' '

def subchoice(screen, name, choices):

    "Return choice of choices"

    maxlen = 0

    for choice in choices:

        length = len(choice[0])

        if (length > maxlen):

            maxlen = length

    options = []

    for choice in choices:

        options.append(" %-*s  %s " % (maxlen, choice[0], choice[1]))

    retval = snack.ListboxChoiceWindow(screen, name, 'Choose value', options)

    if (retval[0] == 'cancel'):

        return None

    return choices[retval[1]][0]

def check_choices(defaults, ask_names):

    "Check whether all accessible variables have a default"

    for row in ask_names:

        varname = row[0]

        cond = row[4]

        if ((cond) and (not check_condition(cond, defaults, ask_names))):

            continue

        if (not defaults.has_key(varname)):

            return False

    return True

def create_output(fname, defaults, ask_names):

    "Create output configuration"

    outf = file(fname, 'w')

    outf.write('#########################################\n')

    outf.write('## AUTO-GENERATED FILE, DO NOT EDIT!!! ##\n')

    outf.write('#########################################\n\n')

    for row in ask_names:

        varname = row[0]

        name = row[2]

        cond = row[4]

        if ((cond) and (not check_condition(cond, defaults, ask_names))):

            continue

        if (not defaults.has_key(varname)):

            default = ''

        else:

            default = defaults[varname]

        outf.write('# %s\n%s = %s\n\n' % (name, varname, default))

    outf.write('REVISION = %s\n' % commands.getoutput('svnversion . 2> /dev/null'))

    outf.write('TIMESTAMP = %s\n' % commands.getoutput('date "+%Y-%m-%d %H:%M:%S"'))

    outf.close()

def main():

    defaults = {}

    ask_names = []

    # Parse configuration file

    parse_config(INPUT, ask_names)

    # Read defaults from previous run

    if os.path.exists(OUTPUT):

        read_defaults(OUTPUT, defaults)

    # Default mode: only check defaults and regenerate configuration

    if ((len(sys.argv) >= 3) and (sys.argv[2] == 'default')):

        if (check_choices(defaults, ask_names)):

            create_output(OUTPUT, defaults, ask_names)

            return 0

    screen = snack.SnackScreen()

    try:

        selname = None

        while True:

            options = []

            opt2row = {}

            position = None

            cnt = 0

            for row in ask_names:

                varname = row[0]

                vartype = row[1]

                name = row[2]

                choices = row[3]

                cond = row[4]

                if ((cond) and (not check_condition(cond, defaults, ask_names))):

                    continue

                if (varname == selname):

                    position = cnt

                if (not defaults.has_key(varname)):

                    default = None

                else:

                    default = defaults[varname]

                if (vartype == 'choice'):

                    # Check if the default is an acceptable value

                    if ((default) and (not default in [choice[0] for choice in choices])):

                        default = None

                        defaults.pop(varname)

                    # If there is just one option, use it

                    if (len(choices) == 1):

                        default = choices[0][0]

                        defaults[varname] = default

                    options.append("     %s [%s] --> " % (name, default))

                elif (vartype == 'y/n'):

                    if (default == None):

                        default = 'y'

                        defaults[varname] = default

                    options.append(" <%s> %s " % (yes_no(default), name))

                elif (vartype == 'n/y'):

                    if (default == None):

                        default = 'n'

                        defaults[varname] = default

                    options.append(" <%s> %s " % (yes_no(default), name))

                else:

                    raise RuntimeError("Unknown variable type: %s" % vartype)

                opt2row[cnt] = row

                cnt += 1

            retval = snack.ListboxChoiceWindow(screen, 'HelenOS configuration', 'Choose configuration option', options, default = position)

            if (retval[0] == 'cancel'):

                return 'Configuration canceled'

            row = opt2row[retval[1]]

            if (row == None):

                raise RuntimeError("Error selecting value: %s" % retval[1])

            selname = row[0]

            seltype = row[1]

            name = row[2]

            choices = row[3]

            if (retval[0] == 'ok'):

                if (check_choices(defaults, ask_names)):

                    break

                else:

                    snack.ButtonChoiceWindow(screen, 'Error', 'Some options have still undefined values.', ['Ok']);

                    continue

            if (seltype == 'choice'):

                defaults[selname] = subchoice(screen, name, choices)

            elif ((seltype == 'y/n') or (seltype == 'n/y')):

                if (defaults[selname] == 'y'):

                    defaults[selname] = 'n'

                else:

                    defaults[selname] = 'y'

    finally:

        screen.finish()

    create_output(OUTPUT, defaults, ask_names)

    return 0

if __name__ == '__main__':

    exit(main())