paulgazz / kmax

A collection of analysis tools for Kconfig and Kbuild constraints.
42 stars 21 forks source link

Add an option to take a Kconfig file fragment as a constraints file #218

Open paulgazz opened 2 years ago

paulgazz commented 2 years ago

Currently, --constraints-file uses a custom format. Add a new option that can take constrained configuration options in the Kconfig format to make it easier to combine Kconfig configuration fragments.

paulgazz commented 2 years ago

One possibility is to add a new --include support for .config files, so that both --include (required options) and --include-mutex (required options that may have contradictions) options can be used to create config files from config fragments.