138032Speter# 238032Speter# Copyright 2017, Data61 3261363Sgshapiro# Commonwealth Scientific and Industrial Research Organisation (CSIRO) 464562Sgshapiro# ABN 41 687 119 230. 538032Speter# 638032Speter# This software may be distributed and modified according to the terms of 738032Speter# the BSD 2-Clause license. Note that NO WARRANTY is provided. 838032Speter# See "LICENSE_BSD2.txt" for details. 938032Speter# 1038032Speter# @TAG(DATA61_BSD) 1138032Speter# 1238032Speter 1338032Spetercmake_minimum_required(VERSION 3.7.2) 1438032Speter 1538032Speterproject(libsel4ync C) 1638032Speter 1738032Speterfile(GLOB deps src/*.c) 1890792Sgshapiro 1990792Sgshapirolist(SORT deps) 2038032Speter 2190792Sgshapiroadd_library(sel4sync STATIC EXCLUDE_FROM_ALL ${deps}) 22266692Sgshapiro 2390792Sgshapirotarget_include_directories(sel4sync PUBLIC include) 2490792Sgshapiro 2538032Spetertarget_link_libraries( 26132943Sgshapiro sel4sync 2790792Sgshapiro PUBLIC 2890792Sgshapiro muslc 2990792Sgshapiro sel4 3090792Sgshapiro sel4vka 3190792Sgshapiro platsupport 3290792Sgshapiro utils 33168515Sgshapiro sel4_autoconf 3490792Sgshapiro) 3590792Sgshapiro 3690792Sgshapiroif(KernelDebugBuild) 3790792Sgshapiro target_link_libraries(sel4sync PUBLIC sel4debug) 3890792Sgshapiroendif() 3990792Sgshapiro