diff options
Diffstat (limited to 'os1eindopdracht/makefile')
| -rw-r--r-- | os1eindopdracht/makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/os1eindopdracht/makefile b/os1eindopdracht/makefile new file mode 100644 index 0000000..49a11ec --- /dev/null +++ b/os1eindopdracht/makefile @@ -0,0 +1,14 @@ +.PHONY: install uninstall + +PREFIX = /usr/local +MANPREFIX = $(PREFIX)/share/man + +install: + mkdir -p $(PREFIX)/bin + cp -f ./uhm ./uhm.awk $(PREFIX)/bin + cp -f ./uhm.1 $(MANPREFIX)/man1/uhm.1 + chmod 755 $(PREFIX)/bin/uhm $(PREFIX)/bin/uhm.awk + +uninstall: + rm -f $(PREFIX)/bin/uhm $(PREFIX)/bin/uhm.awk + rm -f $(MANPREFIX)/man1/uhm.1 |