Rewrite configuration script

THIS MAKES SCRIPT INCONSISTENT AND PROJECT IS NOT WORKING UNTIL OTHER COMMIT MESSAGE SAYS OTHERWISE.
Configurations are now generated to separated folder and have syntax compatible with linux configuration files.
This way applying new configuration is not necessary.
Also script is now communicating with database.
Functions are prepared for multiple different generating possibilities.

Also configuration generation is removed from initialize script.

1 files changed, 5 insertions, 4 deletions

diff --git a/conf.py b/conf.py
index 60edc81..ad8f49f 100644
--- a/conf.py
+++ b/conf.py
@@ -28,8 +28,8 @@ nbscript = 'scripts/nbscript'
 boot_command = ['scripts/novaboot/novaboot', nbscript] + novaboot_args
 
 # picosat_args
-# Arguments passed to PicoSAT.
-picosat_args = ['--all']
+# Additional arguments passed to PicoSAT.
+picosat_args = []
 
 # db_database
 # Database in PostgreSQL to be used for this tools
@@ -91,12 +91,13 @@ phase_file = build_folder + 'phase'
 symbol_map_file = build_folder + 'symbol_map' # Also defined in parse_kconfig
 rules_file = build_folder + 'rules' # Also defined in parse_kconfig
 variable_count_file = build_folder + 'variable_count' # Also defined in parse_kconfig
-config_map_file = build_folder + 'config_map'
-config_solved_file = build_folder + 'config_solved'
 required_file = build_folder + 'required'
 dot_config_back_file = build_folder + 'dot_config_back'
 iteration_file = build_folder + 'iteration'
 
+configurations_folder = 'configurations/'
+hashconfigsort = configurations_folder + 'hashconfigsort'
+
 output_folder = 'output/'
 result_folder = 'result/'
 log_folder = 'log/'