From b01047730e77127c23a36591643eeb8bb0487d68 Mon Sep 17 00:00:00 2001 From: Pascal Brand Date: Thu, 12 Jun 2014 15:56:20 +0200 Subject: Open-source the TEE Core Signed-off-by: Pascal Brand --- Makefile | 41 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) create mode 100644 Makefile (limited to 'Makefile') diff --git a/Makefile b/Makefile new file mode 100644 index 00000000..6b3358a9 --- /dev/null +++ b/Makefile @@ -0,0 +1,41 @@ +SHELL = /bin/bash + +.PHONY: all +all: + +# Make these default for now +ARCH ?= arm32 +PLATFORM ?= orly2 +O ?= out/$(ARCH)-plat-$(PLATFORM) + +arch_$(ARCH) := y + +cmd-fixdep := ./scripts/fixdep + +ifneq ($O,) +out-dir := $O/ +endif + +ifneq ($V,1) +q := @ +cmd-echo := true +else +q := +cmd-echo := echo +endif + +include core/core.mk + +include ta/ta.mk + +.PHONY: clean +clean: + @echo Cleaning + ${q}rm -f $(cleanfiles) + +.PHONY: cscope +cscope: + @echo Creating cscope database + ${q}rm -f cscope.* + ${q}find $(PWD) -name "*.[chSs]" > cscope.files + ${q}cscope -b -q -k -- cgit v1.2.3