| #------------------------------------------------------------------------------- |
| # Copyright (c) 2021, Arm Limited and Contributors. All rights reserved. |
| # |
| # SPDX-License-Identifier: BSD-3-Clause |
| # |
| # Platform definition for the 'vanilla' platform. The vanilla platform |
| # doesn't provide any hardware backed services so it should only be used |
| # when an environment provides all necessary native services for a |
| # deployment. |
| #------------------------------------------------------------------------------- |
| if (NOT DEFINED TGT) |
| message(FATAL_ERROR "mandatory parameter TGT is not defined.") |
| endif() |
| |
| get_property(_platform_driver_dependencies TARGET ${TGT} |
| PROPERTY TS_PLATFORM_DRIVER_DEPENDENCIES |
| ) |
| |
| # Flag error if there are platform driver dependencies. This will happen if |
| # a suitable platform has not been specified. |
| if (_platform_driver_dependencies) |
| message(FATAL_ERROR "Need to specify a compatible platform. Deployment depends on platform drivers: ${_platform_driver_dependencies}") |
| endif() |