| #!/usr/bin/make -f |
| # -*- makefile -*- |
| # |
| # output every command that modifies files on the build system. |
| # export DH_VERBOSE = 1 |
| PACKAGENAME=optee-os |
| DESTDIR=$(shell pwd)/debian/$(PACKAGENAME) |
| |
| %: |
| dh $@ |
| |
| override_dh_auto_clean: |
| true |
| |
| override_dh_auto_build: |
| make -j$(shell nproc) \ |
| PLATFORM=mediatek-mt8516 \ |
| CFG_ARM64_core=y \ |
| CROSS_COMPILE_core=$(DEB_HOST_GNU_TYPE)- \ |
| CROSS_COMPILE_ta_arm64=$(DEB_HOST_GNU_TYPE)- \ |
| NOWERROR=1 \ |
| LDFLAGS= \ |
| CFG_TEE_TA_LOG_LEVEL=0 \ |
| ta-targets=ta_arm64 |
| |
| override_dh_auto_install: |
| install -d $(DESTDIR)/usr/share/optee-os |
| install -p -m 755 out/arm-plat-mediatek/core/tee.bin $(DESTDIR)/usr/share/optee-os/tee.bin |
