| TrustworthySystems | 62c59df | 2014-07-22 14:12:52 +1000 | [diff] [blame] | 1 | # |
| Anna Lyons | 9214341 | 2017-06-05 08:29:55 +1000 | [diff] [blame] | 2 | # Copyright 2017, Data61 |
| 3 | # Commonwealth Scientific and Industrial Research Organisation (CSIRO) |
| 4 | # ABN 41 687 119 230. |
| TrustworthySystems | 62c59df | 2014-07-22 14:12:52 +1000 | [diff] [blame] | 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 | # |
| Anna Lyons | 9214341 | 2017-06-05 08:29:55 +1000 | [diff] [blame] | 10 | # @TAG(DATA61_BSD) |
| TrustworthySystems | 62c59df | 2014-07-22 14:12:52 +1000 | [diff] [blame] | 11 | # |
| 12 | |
| 13 | # Targets |
| 14 | TARGETS := libsel4sync.a |
| 15 | |
| 16 | # Source files required to build the target |
| Luke Mondy | b52a7c4 | 2017-08-02 15:11:12 +1000 | [diff] [blame] | 17 | CFILES := $(sort $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*.c))) |
| TrustworthySystems | 62c59df | 2014-07-22 14:12:52 +1000 | [diff] [blame] | 18 | |
| 19 | # Header files/directories this library provides |
| Luke Mondy | b52a7c4 | 2017-08-02 15:11:12 +1000 | [diff] [blame] | 20 | HDRFILES := $(sort $(wildcard $(SOURCE_DIR)/include/*)) |
| TrustworthySystems | 62c59df | 2014-07-22 14:12:52 +1000 | [diff] [blame] | 21 | |
| 22 | include $(SEL4_COMMON)/common.mk |
