1998-02-06 20:45:51 +00:00
|
|
|
# Having a separate GNUmakefile lets me `include' the dynamically
|
|
|
|
|
# generated rules created via Makefile.maint as well as Makefile.maint itself.
|
|
|
|
|
# This makefile is used only if you run GNU Make.
|
1998-04-04 08:06:24 +00:00
|
|
|
# It is necessary if you want to build targets usually of interest
|
|
|
|
|
# only to the maintainer.
|
1998-04-04 08:05:18 +00:00
|
|
|
|
1999-01-17 13:53:32 +00:00
|
|
|
# Systems where /bin/sh is not the default shell need this. The $(shell)
|
|
|
|
|
# command below won't work with e.g. stock DOS/Windows shells.
|
|
|
|
|
SHELL = /bin/sh
|
|
|
|
|
|
1998-04-04 08:05:18 +00:00
|
|
|
have-Makefile := $(shell test -f Makefile && echo yes)
|
|
|
|
|
|
|
|
|
|
# If the user runs GNU make but has not yet run ./configure,
|
|
|
|
|
# give them a diagnostic.
|
|
|
|
|
ifeq ($(have-Makefile),yes)
|
|
|
|
|
|
1998-02-06 20:45:51 +00:00
|
|
|
include Makefile
|
|
|
|
|
include $(srcdir)/Makefile.maint
|
1998-04-04 08:05:18 +00:00
|
|
|
|
|
|
|
|
else
|
|
|
|
|
|
|
|
|
|
all:
|
|
|
|
|
@echo There seems to be no Makefile in this directory.
|
|
|
|
|
@echo "You must run ./configure before running \`make'."
|
|
|
|
|
@exit 1
|
|
|
|
|
|
|
|
|
|
endif
|
