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