1 files changed, 17 insertions, 0 deletions
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..b8144fe
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,17 @@
+.POSIX:
+.PHONY: all install clean
+.SUFFIXES:
+.SUFFIXES: .bash
+PREFIX = /usr/local
+BASH = /bin/bash
+ALL = parcimini
+.bash:
+	$(BASH) -c :
+	awk -v bash=$(BASH) 'NR == 1 { print "#!" bash } 1' $< > $@
+	chmod +x ./$@
+all: $(ALL)
+install: $(ALL)
+	mkdir -p -- $(PREFIX)/bin
+	cp -- parcimini $(PREFIX)/bin
+clean:
+	rm -f -- $(ALL)