| TrustworthySystems | b85c30b | 2014-07-22 14:11:33 +1000 | [diff] [blame] | 1 | # |
| 2 | # Copyright 2014, NICTA |
| 3 | # |
| 4 | # This software may be distributed and modified according to the terms of |
| 5 | # the BSD 2-Clause license. Note that NO WARRANTY is provided. |
| 6 | # See "LICENSE_BSD2.txt" for details. |
| 7 | # |
| 8 | # @TAG(NICTA_BSD) |
| 9 | # |
| 10 | |
| 11 | libs-$(CONFIG_LIB_SEL4_UTILS) += libsel4utils |
| 12 | libsel4vspace-$(CONFIG_LIB_SEL4_VSPACE) := libsel4vspace |
| 13 | libsel4vka-$(CONFIG_LIB_SEL4_VKA) := libsel4vka |
| 14 | libsel4utils: $(libsel4vspace-y) $(libsel4vka-y) libutils libelf libcpio libsel4 common $(libc) |
