From 65ed21e4850196a2e1b27254122e1e2df816e262 Mon Sep 17 00:00:00 2001
From: Matthijs van der Wild <matthijs.van-der-wild@durham.ac.uk>
Date: Wed, 9 Jul 2025 15:06:11 -0400
Subject: Add Makefile

Using the script is a bit simpler if it is added to a location in
the user's PATH with execution permission set. The Makefile will,
in addition, remove the file extension. After running make it is
a simple matter of using `pilot` on the command line.
---
 Makefile | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 Makefile

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..684c2f5
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,11 @@
+DESTDIR ?= /usr
+BINDIR ?= /bin
+
+.PHONY: install uninstall
+
+install:
+	install -v -d "$(DESTDIR)$(BINDIR)/"
+	install -m 0755 -v pilot.sh "$(DESTDIR)$(BINDIR)/pilot"
+
+uninstall:
+	rm -vrf "$(DESTDIR)$(BINDIR)/pilot"
-- 
cgit v1.2.3