aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2022-10-08 15:33:47 +0200
committerThomas Voss <mail@thomasvoss.com> 2022-10-08 15:33:47 +0200
commit986100777fe681b2f2865c562cf098e5ce3c1b7c (patch)
tree4c8a792ced25c59100c5762bfdc526bf6705c344
parenta86a1c9159b403b29f46973e9ab90f8704f9b0c7 (diff)
Support DESTDIR
-rw-r--r--Makefile7
1 files changed, 4 insertions, 3 deletions
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