Add BK72xx support to require_framework_version() (#7409)

This commit is contained in:
David Woodhouse 2024-09-10 00:58:57 +01:00 committed by GitHub
parent 9f42b76de3
commit d10feafa9b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -2045,6 +2045,7 @@ def require_framework_version(
esp32_arduino=None,
esp8266_arduino=None,
rp2040_arduino=None,
bk72xx_libretiny=None,
host=None,
max_version=False,
extra_message=None,
@ -2059,6 +2060,13 @@ def require_framework_version(
msg += f". {extra_message}"
raise Invalid(msg)
required = esp_idf
elif CORE.is_bk72xx and framework == "arduino":
if bk72xx_libretiny is None:
msg = "This feature is incompatible with BK72XX"
if extra_message:
msg += f". {extra_message}"
raise Invalid(msg)
required = bk72xx_libretiny
elif CORE.is_esp32 and framework == "arduino":
if esp32_arduino is None:
msg = "This feature is incompatible with ESP32 using arduino framework"