From 0cc7caea3c0d820f12530899963985c4c1d1e0f7 Mon Sep 17 00:00:00 2001 From: Teddy Wing Date: Sun, 22 May 2022 05:14:51 +0200 Subject: 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 --- Makefile | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index 776f189..40838a4 100644 --- a/Makefile +++ b/Makefile @@ -16,8 +16,6 @@ # along with Wajir. If not, see . -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 -- cgit v1.2.3