1#
2# Copyright 2019, 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(libsel4rpc C)
10
11include(nanopb)
12
13SEL4_GENERATE_PROTOBUF(proto_srcs proto_hdrs ${CMAKE_CURRENT_SOURCE_DIR}/rpc.proto)
14file(GLOB sel4rpc_src src/*.c)
15
16add_library(sel4rpc EXCLUDE_FROM_ALL ${sel4rpc_src} ${proto_srcs})
17target_include_directories(
18    sel4rpc
19    PUBLIC include ${CMAKE_CURRENT_BINARY_DIR} ${CMAKE_CURRENT_SOURCE_DIR}/include
20)
21target_link_libraries(
22    sel4rpc
23    PUBLIC
24        muslc
25        utils
26        sel4
27        sel4nanopb
28        sel4utils
29        sel4vka
30        nanopb
31    PRIVATE sel4_autoconf
32)
33