diff options
Diffstat (limited to 'source/Makefile')
| -rw-r--r-- | source/Makefile | 9 |
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 |