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