| Gilles Peskine | 3374f6e | 2025-07-31 21:09:39 +0200 | [diff] [blame] | 1 | #!/usr/bin/env python3 |
| 2 | |
| 3 | """Generate C preprocessor code to check for bad configurations. |
| 4 | """ |
| 5 | |
| 6 | import framework_scripts_path # pylint: disable=unused-import |
| 7 | from mbedtls_framework.config_checks_generator import * \ |
| 8 | #pylint: disable=wildcard-import,unused-wildcard-import |
| 9 | |
| Gilles Peskine | 24273c0 | 2025-07-16 22:27:09 +0200 | [diff] [blame^] | 10 | class CryptoInternal(SubprojectInternal): |
| 11 | SUBPROJECT = 'TF-PSA-Crypto' |
| 12 | |
| 13 | class CryptoOption(SubprojectOption): |
| 14 | SUBPROJECT = 'psa/crypto_config.h' |
| 15 | |
| Gilles Peskine | 3374f6e | 2025-07-31 21:09:39 +0200 | [diff] [blame] | 16 | MBEDTLS_CHECKS = BranchData( |
| 17 | header_directory='library', |
| 18 | header_prefix='mbedtls_', |
| 19 | project_cpp_prefix='MBEDTLS', |
| 20 | checkers=[ |
| Gilles Peskine | 24273c0 | 2025-07-16 22:27:09 +0200 | [diff] [blame^] | 21 | CryptoInternal('MBEDTLS_MD5_C', 'PSA_WANT_ALG_MD5 in psa/crypto_config.h'), |
| 22 | CryptoOption('MBEDTLS_BASE64_C'), |
| Gilles Peskine | 3374f6e | 2025-07-31 21:09:39 +0200 | [diff] [blame] | 23 | Removed('MBEDTLS_KEY_EXCHANGE_RSA_ENABLED', 'Mbed TLS 4.0'), |
| 24 | Removed('MBEDTLS_PADLOCK_C', 'Mbed TLS 4.0'), |
| 25 | ], |
| 26 | ) |
| 27 | |
| 28 | if __name__ == '__main__': |
| 29 | main(MBEDTLS_CHECKS) |