# Makefile to build Debian package for Cryptech Alpha board software

all:
	cd sw/thirdparty/libtfm;  ${MAKE}
	cd sw/libhal; ${MAKE} daemon
	cd sw/pkcs11; ${MAKE}

clean distclean:
	for d in thirdparty/libtfm libhal pkcs11; do (cd $$d && ${MAKE} $@); done

install: all
	install -m 644 -D sw/pkcs11/libpkcs11.so	${DESTDIR}/usr/lib/libpkcs11.so
	install -D sw/pkcs11/p11util			${DESTDIR}/usr/sbin/p11util
	install -D sw/libhal/cryptech_rpcd		${DESTDIR}/usr/sbin/cryptech_rpcd
	ln -s libpkcs11.so				${DESTDIR}/usr/lib/libpkcs11.so.0

# Might also want to install the firmware tarball, scripts to use it, ....