aboutsummaryrefslogtreecommitdiff
path: root/conf.py
Commit message (Collapse)AuthorAge
* Fix ARCH env variableKarel Kočí2015-05-13
|
* Add initialize messages and initialize sourcing from dot_config not from ↵Karel Kočí2015-05-10
| | | | linux/.config
* Add implementation of hash indexing of configurationsKarel Kočí2015-05-07
|
* Rename build folder to jobfilesKarel Kočí2015-05-06
|
* Add generation of all solutions in initialization phaseKarel Kočí2015-05-06
|
* Fix some comments and if in solutionKarel Kočí2015-05-06
| | | | These changes were forgotten after change from minisat to picosat
* Add label for debugging configsKarel Kočí2015-05-06
|
* Move buildroot configs in conf.pyKarel Kočí2015-05-06
|
* Replace minisat with picosatKarel Kočí2015-05-05
| | | | Picosat is distributed with this project.
* Add minisat configKarel Kočí2015-05-05
|
* Add some configuration options and clean write_confKarel Kočí2015-05-04
|
* Fixes in scripts and add minisat_argsKarel Kočí2015-05-02
|
* Fix missing configurationKarel Kočí2015-05-01
|
* Add possibility of running step-by-stepKarel Kočí2015-04-28
|
* Change config kernem_make_outputKarel Kočí2015-04-28
|
* Chnage conf paths from absolute to relativeKarel Kočí2015-04-27
|
* Add NBSCRIPT configKarel Kočí2015-04-27
|
* fix problems with initramKarel Kočí2015-04-27
|
* Add initram buildKarel Kočí2015-04-27
| | | | Not working properly yet.
* Add buildroot default .configKarel Kočí2015-04-26
| | | | | | On first execution of buildroot targets from root Makefile is now placed nondefault .config file. This new configuration is default configuration except of initram setting.
* Remove checking for existence of programsKarel Kočí2015-04-26
| | | | Programs should exist if scripts are executed by root Makefile.
* Add initram configKarel Kočí2015-04-26
|
* Generate configuration for root Makefile from conf.pyKarel Kočí2015-04-26
|
* kernel configuration now calling write_conf instead of make odlconfig hackKarel Kočí2015-04-19
| | | | Also configuration output is now set as visible.
* Add possibility to hide kernel outputKarel Kočí2015-04-19
|
* Fix error in initialize script and dedicate config for .config fileKarel Kočí2015-04-19
|
* Fix python scripts to work with parse_kconfigKarel Kočí2015-04-13
|
* kconfig_parser moved from programs to scriptsKarel Kočí2015-03-26
| | | | This way all executable code is inside scripts directory.
* Setup oldconfig to yes to allKarel Kočí2015-03-26
| | | | | | In generated .config file are missing all non bool/tri state configs (except those from defconfig). This solution is only temporally. This way configuration never fails.
* Add source .config backupKarel Kočí2015-03-24
|
* Implement requirement generation from kernel .configKarel Kočí2015-03-24
|
* Add missing kernel_conf_output variable in conf.pyKarel Kočí2015-03-22
|
* Add possibility to hide programs outputKarel Kočí2015-03-22
|
* Implementing main loopKarel Kočí2015-02-03
| | | | | | | | These new scripts are part of main loop. kernel is not finished!! Divides kconfig_parser, sat_solution to better named modules. Phasing and iteration is implemented for loop watching.
* Python scripts addedKarel Kočí2015-01-14
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.