1# 2# Copyright 2017, Data61 3# Commonwealth Scientific and Industrial Research Organisation (CSIRO) 4# ABN 41 687 119 230. 5# 6# This software may be distributed and modified according to the terms of 7# the BSD 2-Clause license. Note that NO WARRANTY is provided. 8# See "LICENSE_BSD2.txt" for details. 9# 10# @TAG(DATA61_BSD) 11# 12 13cmake_minimum_required(VERSION 3.7.2) 14 15project(libsel4allocman C) 16 17set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -std=gnu99") 18 19file( 20 GLOB 21 deps 22 src/*.c 23 src/cspace/*.c 24 src/utspace/*.c 25 src/mspace/*.c 26) 27 28list(SORT deps) 29 30add_library(sel4allocman STATIC EXCLUDE_FROM_ALL ${deps}) 31target_include_directories(sel4allocman PUBLIC include "sel4_arch/${KernelSel4Arch}") 32target_include_directories(sel4allocman PUBLIC include "arch/${KernelArch}") 33target_link_libraries( 34 sel4allocman 35 PUBLIC 36 muslc 37 sel4 38 sel4vka 39 sel4utils 40 sel4vspace 41 sel4_autoconf 42) 43