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