blob: 823018123d30e25335b235c60622fba0ae57a0e4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#-------------------------------------------------------------------------------
# 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()
|