From 7c1173eef88413a63aad2e7aa69ab2d9b1654803 Mon Sep 17 00:00:00 2001
From: Jordan Bancino <jordan@bancino.net>
Date: Mon, 30 Oct 2023 12:21:14 -0400
Subject: [PATCH] Install tools to system.

Note that int64 and uint64 should probably be removed.
---
 configure | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/configure b/configure
index 9faa034..d0e1a5a 100755
--- a/configure
+++ b/configure
@@ -169,6 +169,13 @@ install_man() {
 	echo "${TAB}install -D \"$src\" \"$out\""
 }
 
+install_tool() {
+    src=${OUT}/bin/$(basename "$1" .c)
+    out="$2"
+
+    echo "${TAB}install -D \"$src\" \"$out\""
+}
+
 uninstall_out() {
 	src="$1"
 	out="$2"
@@ -221,12 +228,14 @@ ${TAB}install -D ${OUT}/lib/lib${LIB_NAME}.a \$(PREFIX)/lib/lib${LIB_NAME}.a
 ${TAB}install -D ${OUT}/lib/lib${LIB_NAME}.so \$(PREFIX)/lib/lib${LIB_NAME}.so
 $(collect ${INCLUDE}/ '' '' \$\(PREFIX\)/include/${LIB_NAME}/ install_out)
 $(collect ${INCLUDE}/ .h .3 \$\(PREFIX\)/man/man3/${LIB_NAME}- install_man)
+$(collect ${TOOLS}/ '.c' '' \$\(PREFIX\)/bin/ install_tool)
 
 uninstall:
 ${TAB}rm -r \$(PREFIX)/lib/${LIB_NAME}.*
 ${TAB}rm -r \$(PREFIX)/lib/lib${LIB_NAME}.*
 ${TAB}rm -r \$(PREFIX)/include/${LIB_NAME}
 ${TAB}rm -r \$(PREFIX)/man/man3/${LIB_NAME}-*
+$(collect ${TOOLS}/ '.c' '' \$\(PREFIX\)/bin/ uninstall_out)
 
 clean:
 ${TAB}rm -r "${BUILD}" "${OUT}"