diff options
Diffstat (limited to 'source/Makefile')
-rw-r--r-- | source/Makefile | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/source/Makefile b/source/Makefile new file mode 100644 index 0000000..7b44136 --- /dev/null +++ b/source/Makefile @@ -0,0 +1,17 @@ +# 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, .... |