aboutsummaryrefslogtreecommitdiff
path: root/source/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'source/Makefile')
-rw-r--r--source/Makefile9
1 files changed, 6 insertions, 3 deletions
diff --git a/source/Makefile b/source/Makefile
index 173efac..3ffbb53 100644
--- a/source/Makefile
+++ b/source/Makefile
@@ -4,9 +4,11 @@
# part we just want to do the bare minimum needed for whatever
# software packaging system we use to work. At least for the moment,
# the primary packaging system is Debian-based, so this is written
-# to work in that environment. At some point we'll probably add
-# Homebrew support for Mac OS X.
-
+# to work in that environment.
+#
+# We also support Homebrew for MacOSX, using the source tarball
+# generated by the Debian packaging process, but the Homebrew formula
+# handles the build and installation for that environment.
all:
${MAKE} -C sw/pkcs11
@@ -21,5 +23,6 @@ install: all
install -D sw/pkcs11/p11util ${DESTDIR}/usr/sbin/p11util
install -D sw/pkcs11/libhal/cryptech_rpcd ${DESTDIR}/usr/sbin/cryptech_rpcd
install -D sw/stm32/projects/hsm/cryptech_upload ${DESTDIR}/usr/sbin/cryptech_upload
+ install -D sw/stm32/projects/hsm/cryptech_probe ${DESTDIR}/usr/sbin/cryptech_probe
# Still need scripts to do something useful with the firmware tarball