blob: 823018123d30e25335b235c60622fba0ae57a0e4 [file] [log] [blame]
julhal01ffa98d82021-01-20 13:51:58 +00001#-------------------------------------------------------------------------------
2# Copyright (c) 2021, Arm Limited and Contributors. All rights reserved.
3#
4# SPDX-License-Identifier: BSD-3-Clause
5#
6# Platform definition for the 'vanilla' platform. The vanilla platform
7# doesn't provide any hardware backed services so it should only be used
8# when an environment provides all necessary native services for a
9# deployment.
10#-------------------------------------------------------------------------------
11if (NOT DEFINED TGT)
12 message(FATAL_ERROR "mandatory parameter TGT is not defined.")
13endif()
14
15get_property(_platform_driver_dependencies TARGET ${TGT}
16 PROPERTY TS_PLATFORM_DRIVER_DEPENDENCIES
17)
18
19# Flag error if there are platform driver dependencies. This will happen if
20# a suitable platform has not been specified.
21if (_platform_driver_dependencies)
22 message(FATAL_ERROR "Need to specify a compatible platform. Deployment depends on platform drivers: ${_platform_driver_dependencies}")
23endif()