# SPDX-License-Identifier: Apache-2.0
#
# Copyright (c) 2024, Arduino SA

# Perform the same initialization as the Generic platform, then enable
# dynamic library support if CONFIG_LLEXT is enabled.

include(Platform/Generic)

# Enable dynamic library support when CONFIG_LLEXT is enabled.
if(CONFIG_LLEXT)
  set_property(GLOBAL PROPERTY TARGET_SUPPORTS_SHARED_LIBS true)
endif()