-#!/bin/env python3
+#!/usr/bin/env python3
import os
import sys
import subprocess
import shutil
import utils
+import database
from conf import conf
from conf import sf
import exceptions
-import loop
-import solution
+import configurations
def all():
- base()
- gen_nbscript()
- parse_kconfig()
- gen_requred()
- if conf.gen_all_solution_oninit:
- solution.generate()
-
-def base():
- try: os.mkdir(sf(conf.build_folder))
- except FileExistsError:
- pass
-
- if os.path.isfile(sf(conf.phase_file)):
- print("Warning: file " + conf.phase_file + " already exists. Not overwritten.")
- else:
- loop.phase_set(1)
-
- if os.path.isfile(sf(conf.iteration_file)):
- print("Warning: file " + conf.iteration_file + " already exists. Not overwritten.")
- else:
- loop.iteration_reset()
-
-
-def parse_kconfig():
- "Execute parse_kconfig in linux_sources directory."
- env = dict(os.environ)
+ try:
+ utils.dirtycheck()
+ except exceptions.DirtyRepository as e:
+ print("Warning: " + str(e))
+ gen_fixed()
+ checkmeasure()
+ database.database() # check if database is initialized
+
+def __gen_allconfig_fixed__():
wd = os.getcwd()
os.chdir(sf(conf.linux_sources))
- parse_kconfig_cmd = [sf(conf.parse_kconfig)]
- parse_kconfig_cmd += [sf(conf.linux_kconfig_head), sf(conf.build_folder)]
- parse_kconfig_cmd += ['-v', '-v']
- utils.callsubprocess("parse_kconfig", parse_kconfig_cmd,
- conf.parse_kconfig_output, env=utils.get_kernel_env())
+ allconfig_cmd = [sf(conf.allconfig)]
+ allconfig_cmd += ['Kconfig', sf(conf.dot_config), sf(conf.dot_measure_file)]
+ allconfig_cmd += ['--inv']
+ utils.callsubprocess("allconfig_fixed", allconfig_cmd, False,
+ env = utils.get_kernel_env())
os.chdir(wd)
+def gen_fixed():
+ "Generates fixed depenpency from dot_config file."
+ print('Generating required configuration...')
-def gen_requred():
- "Generates required depenpency from .config file in linux source tree."
-
- if not os.path.isfile(sf(conf.linux_dot_config)):
- raise exceptions.MissingFile(sf(conf.linux_dot_config),
- 'Generate initial configuration. Execute make defconfig in linux folder. Or use make menuconfig and change configuration.')
+ if not os.path.isfile(sf(conf.dot_config)):
+ raise exceptions.MissingFile(sf(conf.dot_config),
+ 'Generate fixed configuration. Use make dot_config.')
utils.build_symbol_map() # Ensure smap existence
- srmap = {value:key for key, value in utils.smap.items()}
-
- shutil.copy(sf(conf.linux_dot_config), sf(conf.dot_config_back_file))
-
- with open(sf(conf.linux_dot_config), 'r') as f:
- with open(sf(conf.required_file), 'w') as freq:
- with open(sf(conf.dot_config_fragment_file), 'w') as fconf:
- for line in f:
- if (line[0] == '#') or (not '=' in line):
- continue
- indx = line.index('=')
- if (line[7:indx] == "MODULES"): # skip if modules set
- raise exceptions.ConfigurationError("Initial kernel configuration must have MODULES disabled.")
- if (line[indx + 1] == 'y'):
- freq.write(str(srmap[line[7:indx]]) + "\n")
- elif (line[indx + 1] == 'n' or line[indx + 1] == 'm'):
- freq.write("-" + str(srmap[line[7:indx]]) + "\n")
- else:
- fconf.write(line);
- freq.write("-" + str(srmap["MODULES"]) + "\n"); # force modules no
-
-
-def gen_nbscript():
- if os.path.isfile(sf(conf.nbscript)):
- print("Warning: file " + conf.nbscript +
- " already exists. Generation skipped.")
+ srmap = {value:key for key, value in utils.smap.items()} # swap dictionary
+
+ shutil.copy(sf(conf.dot_config), sf(conf.dot_config_back_file))
+ __gen_allconfig_fixed__()
+
+ with open(sf(conf.dot_config), 'r') as f:
+ with open(sf(conf.fixed_file), 'w') as ffix:
+ for line in f:
+ if (line[0] == '#') or (not '=' in line):
+ continue
+ indx = line.index('=')
+ if (line[indx + 1] == 'y'):
+ if line[7:indx] == "MODULES": # exception if modules set
+ raise exceptions.ConfigurationError("Fixed kernel configuration must have MODULES disabled.")
+ ffix.write(str(srmap[line[7:indx]]) + "\n")
+ elif (line[indx + 1] == 'n' or line[indx + 1] == 'm'):
+ ffix.write("-" + str(srmap[line[7:indx]]) + "\n")
+ with open(sf(conf.dot_measure_file), 'r') as f:
+ with open(sf(conf.measure_file), 'w') as fmes:
+ for line in f:
+ if (line[0] == '#') or (not '=' in line):
+ continue
+ indx = line.index('=')
+ if line[7:indx] == "MODULES":
+ raise exceptions.ConfigurationError("Can't measure configuraion option MODULES. Not supported.")
+ fmes.write(str(srmap[line[7:indx]]) + "\n")
+
+def checkmeasure():
+ if os.path.isfile(sf(conf.measurechecked_file)):
+ print("Checking if all configurations can be measured skiped.")
+ print(" For new check remove file " + sf(conf.measurechecked_file))
return
-
- with open(sf(conf.nbscript), 'w') as f:
- f.write('# generated novaboot script. Please don\'t edit unless you know what are you doing.\n')
- f.write('load ' + sf(conf.linux_image) + ' console=ttyS0,115200\n')
- f.write('load ' + sf(conf.buildroot_initram) + '\n')
+ print("Checking if all configurations can be measured...")
+ utils.build_symbol_map()
+ measure_list = set()
+ with open(sf(conf.variable_count_file)) as f:
+ var_num = f.readline().rstrip()
+ conf_num = f.readline().rstrip()
+ with open(sf(conf.measure_file), 'r') as fi:
+ for ln in fi:
+ measure_list.add(int(ln))
+ for measure in measure_list:
+ tfile1 = configurations.__buildtempcnf__(var_num, (sf(conf.rules_file),
+ sf(conf.fixed_file)), [str(measure)])
+ tfile2 = configurations.__buildtempcnf__(var_num, (sf(conf.rules_file),
+ sf(conf.fixed_file)), [str(-1 * measure)])
+ try:
+ configurations.__exec_sat__(tfile1, [], conf_num)
+ except exceptions.NoSolution:
+ print("W: " + utils.smap[measure] + " won't be measured! Can't select.")
+ try:
+ configurations.__exec_sat__(tfile2, [], conf_num)
+ except exceptions.NoSolution:
+ print("W: " + utils.smap[measure] + " won't be measured! Can't unselect.")
+ with open(sf(conf.measurechecked_file), 'w') as f:
+ f.write("Remove this file if you wanna execute check if all configurations can be measured once again.\n")
#################################################################################