Register generate_config_files.py outputs as generated files
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
diff --git a/library/Makefile b/library/Makefile
index f872934..f3667ba 100644
--- a/library/Makefile
+++ b/library/Makefile
@@ -5,7 +5,12 @@
TF_PSA_CRYPTO_CORE_PATH = $(MBEDTLS_PATH)/tf-psa-crypto/core
TF_PSA_CRYPTO_DRIVERS_BUILTIN_SRC_PATH = $(MBEDTLS_PATH)/tf-psa-crypto/drivers/builtin/src
+# List the generated files without running a script, so that this
+# works with no tooling dependencies when GEN_FILES is disabled.
GENERATED_FILES := \
+ mbedtls_config_check_before.h \
+ mbedtls_config_check_final.h \
+ mbedtls_config_check_user.h \
error.c \
version_features.c \
ssl_debug_helpers_generated.c \
@@ -326,6 +331,14 @@
$(TF_PSA_CRYPTO_CORE_PATH)/psa_crypto.o:$(TF_PSA_CRYPTO_CORE_PATH)/psa_crypto_driver_wrappers.h
+GENERATED_CONFIG_CHECK_FILES = $(shell $(PYTHON) ../scripts/generate_config_checks.py --list .)
+$(GENERATED_CONFIG_CHECK_FILES): $(gen_file_dep) \
+ $(TF_PSA_CRYPTO_CORE_PATH)/../scripts/generate_config_checks.py \
+ ../framework/scripts/mbedtls_framework/config_checks_generator.py
+$(GENERATED_CONFIG_CHECK_FILES):
+ echo " Gen $(GENERATED_CONFIG_CHECK_FILES)"
+ $(PYTHON) ../scripts/generate_config_checks.py
+
clean:
ifndef WINDOWS
rm -f *.o *.s libmbed*