aboutsummaryrefslogtreecommitdiff
path: root/conf.py
blob: 0343e6b93e6bb31988dc201eebd60c1996523b05 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
import os
from exceptions import MissingFile

def pf(rfile):
	"Relative patch of file is decoded to absolute acording to working tree."
	return os.path.dirname(os.path.realpath(__file__)) + '/' + rfile

def checkXf(f, message):
	"Check if file is executable. If not, raise MissingFile exception."
	if os.path.isfile(f) and os.access(f, os.X_OK):
		return f
	else:
		raise MissingFile(f, message)

# Global configs
SRCARCH = 'x86' # Kernel architecture
ARCH = SRCARCH
linux_make_args = ['-j8']

# Path settings
linux_sources = pf('linux')
linux_kconfig_head = 'Kconfig'
linux_dot_config = linux_sources + '/.config'

build_folder = pf('build/')
phase_file = build_folder + '/phase'
symbol_map_file = build_folder + '/symbol_map' # Also defined in kconfig_parser
rules_file = build_folder + '/rules' # Also defined in kconfig_parser
solved_file = build_folder + '/solved'
required_file = build_folder + '/required'
dot_config_fragment_file = build_folder + '/dot_config_fragment'
dot_config_back_file = build_folder + '/dot_config_back'
solution_file = build_folder + '/solution'
iteration_file = build_folder + '/iteration'

# Programs paths
parse_kconfig = checkXf(pf('scripts/parse_kconfig/parse'), 'You must build programs first.')

# Programs output hide
parse_kconfig_output = False
minisat_output = False
kernel_config_output = False