framework: generate_config_checks.py: use current data #260
+101
−0
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Load the list of C preprocessor macros that are options in the configuration file (`mbedtls/mbedtls_config.h` or `psa/crypto_config.h`), and the list of C preprocessor macros that are defined in `*adjust*.h` but are not public options (derived internal macros). The new module `config_macros` supports both querying the current tree and querying historical data saved by `save_config_macros.sh`, with the same query interface. The part that queries historical data subsumes the `config_history` module. Signed-off-by: Gilles Peskine <[email protected]>
gilles-peskine-arm
added
bug
github-project-automation
bot
moved this to In Development
in Roadmap pull requests (new board)
gilles-peskine-arm
added
size-xs
This was referenced Dec 23, 2025
| """ | ||
| self._root = build_tree.guess_project_root() | ||
| self._submodule = submodule | ||
| public = self._search_files(self._PUBLIC_CONFIG_HEADERS) |
Contributor
Author
There was a problem hiding this comment.
Reading the current config file is a problem: if the person who is building the library has edited the config file, then anything that is there will be considered a public option. But the reason this module was created is to serve generate_config_checks.py, which wants to know what is officially a public option, and wants to reject invalid options in the actual config file.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
New module
config_macros.py, replacingconfig_history.py. Needed for Mbed-TLS/TF-PSA-Crypto#619 and Mbed-TLS/mbedtls#10548Don't delete
config_history.pyyet to facilitate the transition.PR checklist