path: root/software/source/Makefile

# 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:
	cd sw/thirdparty/libtfm;  ${MAKE} $@
	cd sw/libhal; ${MAKE} $@
	cd sw/pkcs11; ${MAKE} $@

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, ....