Python scripts added

conf.py are files for configuration, all configuration is in global
conf.py and others are just sourcing that
kconfig_parser.py is executing kconfig_parser
sat_solution.py is partly implemented, in state of this commit is not
working properly.

1 files changed, 31 insertions, 0 deletions

diff --git a/conf.py b/conf.py
new file mode 100644
index 0000000..1893fcc
--- /dev/null
+++ b/conf.py
@@ -0,0 +1,31 @@
+import os
+
+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):
+	if os.path.isfile(f) and os.access(f, os.X_OK):
+		return f
+	else:
+		print('Error: Missing executable file "' + f + '"\n' + message,
+				file=sys.stderr)
+		return None
+
+# Global configs
+SRCARCH = 'x86' # Kernel architecture
+ARCH = SRCARCH
+
+# Path settings
+linux_sources = pf('linux')
+linux_kconfig_head = 'Kconfig'
+
+build_folder = pf('build/')
+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'
+solution_file = build_folder + '/solution'
+
+
+kconfig_parser = checkXf(pf('programs/kconfig_parser'),'You must build programs first.')