summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPaul Smith <psmith@gnu.org>2013-10-19 12:09:13 -0400
committerPaul Smith <psmith@gnu.org>2013-10-19 12:09:13 -0400
commitd7f25cfda5806cb67dba012f0f9c715a9dcd65e4 (patch)
tree3ec8216f7175965c26aa9aa7baeb2aef914da002
parentb9a01a8b3b4284dd517dbd701bdb4196c037d989 (diff)
downloadgunmake-d7f25cfda5806cb67dba012f0f9c715a9dcd65e4.tar.gz
* maintMakefile: Accept variable overrides from the environment.
-rw-r--r--maintMakefile16
1 files changed, 12 insertions, 4 deletions
diff --git a/maintMakefile b/maintMakefile
index 0e0de8f..f8bb678 100644
--- a/maintMakefile
+++ b/maintMakefile
@@ -6,10 +6,18 @@ BUGLIST := bug-make@gnu.org
# These are related to my personal setup.
GPG_FINGERPRINT := 6338B6D4
-SRCROOTDIR := $(HOME)/src
-GNULIBDIR := $(SRCROOTDIR)/gnulib
-MAKEWEBDIR := $(SRCROOTDIR)/make/make-web
-GNUWEBDIR := $(SRCROOTDIR)/gnu-www
+
+# SRCROOTDIR is just a handy location to keep source files in
+SRCROOTDIR ?= $(HOME)/src
+
+# Where the gnulib project has been locally cloned
+GNULIBDIR ?= $(SRCROOTDIR)/gnulib
+
+# Where to put the CVS checkout of the GNU web repository
+GNUWEBDIR ?= $(SRCROOTDIR)/gnu-www
+
+# Where to put the CVS checkout of the GNU make web repository
+MAKEWEBDIR ?= $(SRCROOTDIR)/make/make-web
# We like mondo-warnings!
AM_CFLAGS += -Wall -Wextra -Wdeclaration-after-statement -Wshadow -Wpointer-arith -Wbad-function-cast