From 635c2d8521cfdab23951919336d38b5c822302be Mon Sep 17 00:00:00 2001
From: Alessandro Mauri <alemauri001@gmail.com>
Date: Thu, 10 Sep 2020 01:09:34 +0200
Subject: [PATCH] added makefile for easy install

---
 makefile          | 20 ++++++++++++++++++++
 rivet => rivet.sh |  0
 2 files changed, 20 insertions(+)
 create mode 100644 makefile
 rename rivet => rivet.sh (100%)

diff --git a/makefile b/makefile
new file mode 100644
index 0000000..213e170
--- /dev/null
+++ b/makefile
@@ -0,0 +1,20 @@
+VERSION = 0.3
+PREFIX = /usr/local
+MANPREFIX = ${PREFIX}/share/man
+
+rivet: rivet.sh
+
+install: rivet
+	mkdir -p ${DESTDIR}${PREFIX}/bin
+	cp -f rivet ${DESTDIR}${PREFIX}/bin/rivet
+	chmod 755 ${DESTDIR}${PREFIX}/bin/rivet
+	mkdir -p ${DESTDIR}${MANPREFIX}/man1
+	sed "s/VERSION/${VERSION}/g" < rivet.1 > ${DESTDIR}${MANPREFIX}/man1/rivet.1
+	chmod 644 ${DESTDIR}${MANPREFIX}/man1/rivet.1
+
+uninstall:
+	rm -f ${DESTDIR}${PREFIX}/bin/rivet\
+		${DESTDIR}${MANPREFIX}/man1/rivet.1
+
+clean:
+	rm -f rivet
diff --git a/rivet b/rivet.sh
similarity index 100%
rename from rivet
rename to rivet.sh