1# 2# Copyright 2018, Data61, CSIRO (ABN 41 687 119 230) 3# 4# SPDX-License-Identifier: BSD-2-Clause 5# 6 7project(libsel4vchan C) 8 9add_compile_options(-std=gnu99) 10 11file(GLOB sources src/*.c) 12 13add_library(sel4vchan STATIC EXCLUDE_FROM_ALL ${sources}) 14target_include_directories(sel4vchan PUBLIC include) 15target_link_libraries(sel4vchan muslc sel4 sel4simple utils sel4utils sel4vka sel4vspace sel4dma) 16