diff options
author | Thomas Voss <mail@thomasvoss.com> | 2022-10-08 15:33:47 +0200 |
---|---|---|
committer | Thomas Voss <mail@thomasvoss.com> | 2022-10-08 15:33:47 +0200 |
commit | 986100777fe681b2f2865c562cf098e5ce3c1b7c (patch) | |
tree | 4c8a792ced25c59100c5762bfdc526bf6705c344 | |
parent | a86a1c9159b403b29f46973e9ab90f8704f9b0c7 (diff) |
Support DESTDIR
-rw-r--r-- | Makefile | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -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 |