aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTeddy Wing2022-05-22 05:14:51 +0200
committerTeddy Wing2022-05-22 05:15:54 +0200
commit0cc7caea3c0d820f12530899963985c4c1d1e0f7 (patch)
treed0aab22982f8ad2d466f21f5d48d90a14a4ebfb8
parent07c5cefe39542ebb16061a125de497c26996e70a (diff)
downloadwajir-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--Makefile6
1 files 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 <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