1# 2# Copyright 2018, Data61, CSIRO (ABN 41 687 119 230) 3# 4# SPDX-License-Identifier: BSD-2-Clause 5# 6 7cmake_minimum_required(VERSION 3.8.2) 8 9project(libsel4dma C) 10 11add_compile_options(-std=gnu99) 12 13file(GLOB sources src/*.c) 14 15add_library(sel4dma STATIC EXCLUDE_FROM_ALL ${sources}) 16target_include_directories(sel4dma PUBLIC include) 17target_link_libraries(sel4dma PUBLIC muslc platsupport PRIVATE sel4_autoconf) 18