diff options
author | Teddy Wing | 2022-05-22 05:14:51 +0200 |
---|---|---|
committer | Teddy Wing | 2022-05-22 05:15:54 +0200 |
commit | 0cc7caea3c0d820f12530899963985c4c1d1e0f7 (patch) | |
tree | d0aab22982f8ad2d466f21f5d48d90a14a4ebfb8 | |
parent | 07c5cefe39542ebb16061a125de497c26996e70a (diff) | |
download | wajir-0cc7caea3c0d820f12530899963985c4c1d1e0f7.tar.bz2 |
Makefile: Use `DESTDIR` instead of `PREFIX`
`DESTDIR` seems to be more standardised.
Didn't set the variable because according to the Make manual, you're not
supposed to:
> You should not set the value of DESTDIR in your Makefile at all
https://www.gnu.org/software/make/manual/make.html#DESTDIR_003a-Support-for-Staged-Installs
-rw-r--r-- | Makefile | 6 |
1 files changed, 2 insertions, 4 deletions
@@ -16,8 +16,6 @@ # along with Wajir. If not, see <https://www.gnu.org/licenses/>. -PREFIX=/usr/local - LISP ?= sbcl VERSION := $(shell fgrep ':version' wajir.asd | awk -F '"' '{ print $$2 }') @@ -75,5 +73,5 @@ wajir_$(VERSION).tar.bz2: bundle wajir.asd src/*.lisp .PHONY: install install: bundle/bundled-local-projects/0000/wajir/wajir $(MAN_PAGE) - install -m 755 bundle/bundled-local-projects/0000/wajir/wajir $(PREFIX)/bin - install -m 755 $(MAN_PAGE) $(PREFIX)/share/man/man1 + install -m 755 bundle/bundled-local-projects/0000/wajir/wajir $(DESTDIR)/bin + install -m 755 $(MAN_PAGE) $(DESTDIR)/share/man/man1 |