Merge f8fdeddbb1d6d23b17cd4d4acc497bf0e80d726c into 3bb373867917b674265067cbd38b9d252c43d014

This commit is contained in:
David Horstmann 2026-07-20 21:03:53 +01:00 committed by GitHub
commit 6c63aebeca
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -134,6 +134,15 @@ endif()
# Make MBEDTLS_CONFIG_FILE and MBEDTLS_USER_CONFIG_FILE into PATHs
set(MBEDTLS_CONFIG_FILE "" CACHE FILEPATH "Mbed TLS config file (overrides default).")
set(MBEDTLS_USER_CONFIG_FILE "" CACHE FILEPATH "Mbed TLS user config file (appended to default).")
set(MBEDTLS_CONFIG_NAME "" CACHE STRING "Mbed TLS config name")
if(MBEDTLS_CONFIG_NAME)
configure_file(include/mbedtls/mbedtls_config.h ${CMAKE_CURRENT_BINARY_DIR}/named_config.h)
if (NOT (${MBEDTLS_CONFIG_NAME} MATCHES "default"))
execute_process(COMMAND ${PYTHON} scripts/config.py -f ${CMAKE_CURRENT_BINARY_DIR}/named_config.h ${MBEDTLS_CONFIG_NAME})
endif()
set(MBEDTLS_CONFIG_FILE ${CMAKE_CURRENT_BINARY_DIR}/named_config.h)
endif()
# Create a symbolic link from ${base_name} in the binary directory
# to the corresponding path in the source directory.