4 "Relative patch of file is decoded to absolute acording to working tree."
5 return os.path.dirname(os.path.realpath(__file__)) + '/' + rfile
7 def checkXf(f, message):
8 "Check if file is executable. If not, raise MissingFile exception."
9 if os.path.isfile(f) and os.access(f, os.X_OK):
12 raise MissingFile(f, message)
15 SRCARCH = 'x86' # Kernel architecture
17 linux_make_args = ['-j8']
20 linux_sources = pf('linux')
21 linux_kconfig_head = 'Kconfig'
23 required = pf('required')
24 build_folder = pf('build/')
25 phase_file = build_folder + '/phase'
26 symbol_map_file = build_folder + '/symbol_map' # Also defined in kconfig_parser
27 rules_file = build_folder + '/rules' # Also defined in kconfig_parser
28 solved_file = build_folder + '/solved'
29 required_file = build_folder + '/required'
30 solution_file = build_folder + '/solution'
31 iteration_file = build_folder + '/iteration'
34 kconfig_parser = checkXf(pf('programs/kconfig_parser'), 'You must build programs first.')
36 # Programs output hide
37 kconfig_parser_output = False
38 minisat_output = False