diff options
| author | Teddy Wing | 2022-05-22 06:00:33 +0200 |
|---|---|---|
| committer | Teddy Wing | 2022-05-22 06:00:33 +0200 |
| commit | d7607cf54769259077acc3acc1f224960639476a (patch) | |
| tree | b441ce8c9d73d8dbb236db5a59e24a232d42bf26 | |
| parent | 04b8fe2821449a435703125632a887faaa69fbdb (diff) | |
| download | wajir-d7607cf54769259077acc3acc1f224960639476a.tar.bz2 | |
Makefile: Use `prefix` etc. variables
I'm getting a destroot error in MacPorts:
Failed to activate wajir: Image error: /bin already exists and does
not belong to a registered port.
Trying to see if this fixes it.
| -rw-r--r-- | Makefile | 14 |
1 files changed, 11 insertions, 3 deletions
@@ -16,6 +16,14 @@ # along with Wajir. If not, see <https://www.gnu.org/licenses/>. +prefix ?= /usr/local +exec_prefix ?= $(prefix) +bindir ?= $(exec_prefix)/bin +datarootdir ?= $(prefix)/share +mandir ?= $(datarootdir)/man +man1dir ?= $(mandir)/man1 + + LISP ?= sbcl VERSION := $(shell fgrep ':version' wajir.asd | awk -F '"' '{ print $$2 }') @@ -73,7 +81,7 @@ 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 $(DESTDIR)/bin + install -m 755 bundle/bundled-local-projects/0000/wajir/wajir $(DESTDIR)$(bindir)/wajir - install -d $(DESTDIR)/share/man/man1 - install -m 644 $(MAN_PAGE) $(DESTDIR)/share/man/man1 + install -d $(DESTDIR)$(man1dir) + install -m 644 $(MAN_PAGE) $(DESTDIR)$(man1dir)/$(MAN_PAGE) |