blob: dd242701fb7eda17ed1692ba583b25a5a1e348ac [file] [log] [blame]
TrustworthySystems62c59df2014-07-22 14:12:52 +10001#
Anna Lyons92143412017-06-05 08:29:55 +10002# Copyright 2017, Data61
3# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4# ABN 41 687 119 230.
TrustworthySystems62c59df2014-07-22 14:12:52 +10005#
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#
Anna Lyons92143412017-06-05 08:29:55 +100010# @TAG(DATA61_BSD)
TrustworthySystems62c59df2014-07-22 14:12:52 +100011#
12
13# Targets
14TARGETS := libsel4sync.a
15
16# Source files required to build the target
Luke Mondyb52a7c42017-08-02 15:11:12 +100017CFILES := $(sort $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*.c)))
TrustworthySystems62c59df2014-07-22 14:12:52 +100018
19# Header files/directories this library provides
Luke Mondyb52a7c42017-08-02 15:11:12 +100020HDRFILES := $(sort $(wildcard $(SOURCE_DIR)/include/*))
TrustworthySystems62c59df2014-07-22 14:12:52 +100021
22include $(SEL4_COMMON)/common.mk