1998-02-07 04:45:51 +08: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 16:06:24 +08:00
|
|
|
# It is necessary if you want to build targets usually of interest
|
|
|
|
|
# only to the maintainer.
|
1998-04-04 16:05:18 +08:00
|
|
|
|
1999-01-17 21:53:32 +08: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 16:05:18 +08: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-07 04:45:51 +08:00
|
|
|
include Makefile
|
2001-06-17 12:11:12 +08:00
|
|
|
include $(srcdir)/Makefile.cfg
|
1998-02-07 04:45:51 +08:00
|
|
|
include $(srcdir)/Makefile.maint
|
1998-04-04 16:05:18 +08:00
|
|
|
|
|
|
|
|
else
|
|
|
|
|
|
|
|
|
|
all:
|
|
|
|
|
@echo There seems to be no Makefile in this directory.
|
|
|
|
|
@echo "You must run ./configure before running \`make'."
|
|
|
|
|
@exit 1
|
|
|
|
|
|
|
|
|
|
endif
|
2000-11-17 18:20:09 +08:00
|
|
|
|
|
|
|
|
# Tell version 3.79 and up of GNU make to not build goals in this
|
|
|
|
|
# directory in parallel. This is necessary in case someone tries to
|
|
|
|
|
# build multiple targets on one command line.
|
|
|
|
|
.NOTPARALLEL:
|
