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(libsel4bench C) 16 17file( 18 GLOB 19 deps 20 src/*.c 21 src/arch/${KernelArch}/*.c 22 src/arch/${KernelArch}/armv/${KernelArmArmV}/*.c 23 src/arch/${KernelArch}/cpu/${KernelArmCPU}/*.c 24) 25 26list(SORT deps) 27 28add_library(sel4bench EXCLUDE_FROM_ALL ${deps}) 29target_include_directories( 30 sel4bench 31 PUBLIC 32 include 33 "arch_include/${KernelArch}/armv/${KernelArmArmV}" 34 "arch_include/${KernelArch}/cpu/${KernelArmCPU}" 35 "sel4_arch_include/${KernelSel4Arch}/" 36 "arch_include/${KernelArch}" 37 src 38) 39if(KernelArmArmV STREQUAL "armv7ve") 40 target_include_directories(sel4bench PUBLIC "arch_include/${KernelArch}/armv/armv7-a") 41endif() 42target_link_libraries(sel4bench muslc sel4 utils sel4_autoconf) 43