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