1# Having a separate GNUmakefile lets me `include' the dynamically
2# generated rules created via Makefile.maint as well as Makefile.maint itself.
3# This makefile is used only if you run GNU Make.
4# It is necessary if you want to build targets usually of interest
5# only to the maintainer.
6
7# Systems where /bin/sh is not the default shell need this.  The $(shell)
8# command below won't work with e.g. stock DOS/Windows shells.
9SHELL = /bin/sh
10
11have-Makefile := $(shell test -f Makefile && echo yes)
12
13# If the user runs GNU make but has not yet run ./configure,
14# give them a diagnostic.
15ifeq ($(have-Makefile),yes)
16
17include Makefile
18include $(srcdir)/Makefile.maint
19
20else
21
22all:
23	@echo There seems to be no Makefile in this directory.
24	@echo "You must run ./configure before running \`make'."
25	@exit 1
26
27endif
28
29# Tell version 3.79 and up of GNU make to not build goals in this
30# directory in parallel.  This is necessary in case someone tries to
31# build multiple targets on one command line.
32.NOTPARALLEL:
33