1#
2# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3#
4# SPDX-License-Identifier: BSD-2-Clause
5#
6
7cmake_minimum_required(VERSION 3.7.2)
8
9project(object_sizes C)
10
11set(objsz_file object_sizes.yaml)
12add_custom_command(
13    OUTPUT ${objsz_file}
14    DEPENDS ${CMAKE_CURRENT_SOURCE_DIR}/${objsz_file}
15    COMMAND
16        ${CMAKE_C_COMPILER} -E -P "-I$<JOIN:$<TARGET_PROPERTY:sel4,INCLUDE_DIRECTORIES>,;-I>" - >
17        ${objsz_file} < ${CMAKE_CURRENT_SOURCE_DIR}/${objsz_file} COMMAND_EXPAND_LISTS
18    DEPENDS sel4
19)
20
21add_custom_target(object_sizes DEPENDS ${CMAKE_CURRENT_BINARY_DIR}/${objsz_file} sel4)
22set_property(TARGET object_sizes PROPERTY FILE_PATH "${CMAKE_CURRENT_BINARY_DIR}/${objsz_file}")
23