Merge pull request #4 from HRio/destdir

allow passing $(DESTDIR)
This commit is contained in:
Dave Eddy 2018-12-14 13:24:09 -05:00 committed by GitHub
commit 87471ca15d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 4 deletions

View File

@ -20,13 +20,15 @@ clean:
.PHONY: install
install:
cp $(NAME) $(PREFIX)/bin/$(NAME)
cp man/$(MANPAGE) $(PREFIX)/share/man/man$(MAN_SECTION)/$(MANPAGE)
install -d $(DESTDIR)/$(PREFIX)/bin
install -d $(DESTDIR)/$(PREFIX)/share/man/man$(MAN_SECTION)
install -m 0755 $(NAME) $(DESTDIR)/$(PREFIX)/bin/$(NAME)
install -m 0644 man/$(MANPAGE) $(DESTDIR)/$(PREFIX)/share/man/man$(MAN_SECTION)/$(MANPAGE)
.PHONY: uninstall
uninstall:
rm -f $(PREFIX)/bin/$(NAME)
rm -f $(PREFIX)/share/man/man$(MAN_SECTION)/$(MANPAGE)
rm -f $(DESTDIR)/$(PREFIX)/bin/$(NAME)
rm -f $(DESTDIR)/$(PREFIX)/share/man/man$(MAN_SECTION)/$(MANPAGE)
.PHONY: check
check: