From 986100777fe681b2f2865c562cf098e5ce3c1b7c Mon Sep 17 00:00:00 2001 From: Thomas Voss Date: Sat, 8 Oct 2022 15:33:47 +0200 Subject: Support DESTDIR --- Makefile | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 4c5131c..08d1dff 100644 --- a/Makefile +++ b/Makefile @@ -2,6 +2,7 @@ CFLAGS = -Ofast -march=native -mtune=native -pipe -Wall -Wextra -Werror -pedantic PREFIX = /usr +DPREFIX = ${DESTDIR}${PREFIX} target = center @@ -12,6 +13,6 @@ clean: rm -f ${target} install: - mkdir -p ${PREFIX}/bin ${PREFIX}/share/man/man1 - cp ${target} ${PREFIX}/bin - cp ${target}.1 ${PREFIX}/share/man/man1 + mkdir -p ${DPREFIX}/bin ${DPREFIX}/share/man/man1 + cp ${target} ${DPREFIX}/bin + cp ${target}.1 ${DPREFIX}/share/man/man1 -- cgit v1.2.3