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(libsel4nanopb C)
10
11include(nanopb)
12
13include_directories(${NANOPB_INCLUDE_DIRS})
14
15add_library(sel4nanopb EXCLUDE_FROM_ALL src/common.c)
16target_include_directories(sel4nanopb PUBLIC include)
17target_link_libraries(sel4nanopb muslc utils sel4 nanopb)
18