forked from seL4/camkes-vm
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathMakefile
43 lines (35 loc) · 1.34 KB
/
Makefile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
#
# Copyright 2014, NICTA
#
# This software may be distributed and modified according to the terms of
# the GNU General Public License version 2. Note that NO WARRANTY is provided.
# See "LICENSE_GPLv2.txt" for details.
#
# @TAG(NICTA_GPL)
#
export PYTHONPATH:=${PYTHONPATH}:$(abspath tools/python-capdl)
export PATH:=${PATH}:$(abspath tools/camkes)
lib-dirs:=libs
# Build the loader image, rather than the default (app-images) because the
# loader image actually ends up containing the component images.
all: capdl-loader-experimental-image
-include Makefile.local
include tools/common/project.mk
capdl-loader-experimental: $(filter-out capdl-loader-experimental,$(apps)) parse-capDL
export CAPDL_SPEC:=$(foreach v,$(filter-out capdl-loader-experimental,${apps}),${BUILD_BASE}/${v}/${v}.cdl)
export PATH:=${PATH}:${STAGE_BASE}/parse-capDL
PHONY += parse-capDL
parse-capDL: ${STAGE_BASE}/parse-capDL/parse-capDL
${STAGE_BASE}/parse-capDL/parse-capDL:
@echo "[$(notdir $@)] building..."
$(Q)mkdir -p "${STAGE_BASE}"
$(Q)cp -pur tools/capDL $(dir $@)
$(Q)$(MAKE) --no-print-directory --directory=$(dir $@) 2>&1 \
| while read line; do echo " $$line"; done; \
exit $${PIPESTATUS[0]}
@echo "[$(notdir $@)] done."
.PHONY: tags
tags:
@find . \( -name "*.h" -o -name "*.c" -o -name "*.py" \) > list.txt
@ctags-exuberant -L list.txt
@rm list.txt