summarylogtreecommitdiffstats
path: root/globe-makefile-destdir.patch
blob: 0199ae756645fd9c9c32c0cd3860e1114f3b82ad (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
--- a/Makefile	2014-08-11 21:13:12.000000000 +0200
+++ b/Makefile	2017-03-04 04:20:00.000000000 +0100
@@ -1,8 +1,11 @@
+# CONFIGURE: the directory that will form the prefix for the next two path variables
+DESTDIR?=	/usr/local
+
 # CONFIGURE: the directory where you want the executables installed.
-BINDIR =	/usr/local/bin
+BINDIR =	$(DESTDIR)/bin
 
 # CONFIGURE: the directory tree where you want the man pages installed.
-MANDIR =	/usr/local/man
+MANDIR =	$(DESTDIR)/man
 
 # CONFIGURE: your favorite C compiler.
 CC =		cc