diff options
| author | Paul Smith <psmith@gnu.org> | 2013-10-19 12:09:13 -0400 |
|---|---|---|
| committer | Paul Smith <psmith@gnu.org> | 2013-10-19 12:09:13 -0400 |
| commit | 4037364b71988b1bd79ecc79b2842f522c53ec39 (patch) | |
| tree | 3ec8216f7175965c26aa9aa7baeb2aef914da002 /maintMakefile | |
| parent | 1bdb3e4e1376c8bb2a7bc79540edde6281715672 (diff) | |
| download | make-4037364b71988b1bd79ecc79b2842f522c53ec39.tar.gz | |
* maintMakefile: Accept variable overrides from the environment.
Diffstat (limited to 'maintMakefile')
| -rw-r--r-- | maintMakefile | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/maintMakefile b/maintMakefile index 0e0de8fb..f8bb678a 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 |