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 | d7f25cfda5806cb67dba012f0f9c715a9dcd65e4 (patch) | |
| tree | 3ec8216f7175965c26aa9aa7baeb2aef914da002 /maintMakefile | |
| parent | b9a01a8b3b4284dd517dbd701bdb4196c037d989 (diff) | |
| download | gunmake-d7f25cfda5806cb67dba012f0f9c715a9dcd65e4.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 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 |