| Adrian Danis | dbe802b | 2017-03-30 16:37:58 +1100 | [diff] [blame] | 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 | |
| 13 | cmake_minimum_required(VERSION 3.7.2) |
| 14 | |
| 15 | project(libsel4vspace C) |
| 16 | |
| Kent McLeod | 11062d0 | 2019-04-16 07:50:03 +1000 | [diff] [blame] | 17 | file( |
| 18 | GLOB |
| 19 | deps |
| 20 | src/*.c |
| 21 | src/arch/${KernelArch}/*.c |
| 22 | src/sel4_arch/${KernelSel4Arch}/*.c |
| 23 | ) |
| Adrian Danis | dbe802b | 2017-03-30 16:37:58 +1100 | [diff] [blame] | 24 | |
| 25 | list(SORT deps) |
| 26 | |
| 27 | add_library(sel4vspace STATIC EXCLUDE_FROM_ALL ${deps}) |
| Yu Hou | 4f4c9c2 | 2019-07-15 19:13:48 +1000 | [diff] [blame] | 28 | target_include_directories(sel4vspace PUBLIC include "arch_include/${KernelArch}") |
| Yu Hou | c18523b | 2019-07-19 03:01:28 +1000 | [diff] [blame] | 29 | target_link_libraries(sel4vspace muslc sel4 sel4vka sel4_autoconf sel4utils_Config) |
