mirror of
git://git.sv.gnu.org/autoconf
synced 2024-11-27 01:49:56 +08:00
33 lines
1003 B
Makefile
33 lines
1003 B
Makefile
# 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.
|
|
# It is necessary if you want to build targets usually of interest
|
|
# only to the maintainer.
|
|
|
|
# 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
|
|
|
|
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)
|
|
|
|
include Makefile
|
|
include $(srcdir)/Makefile.maint
|
|
|
|
else
|
|
|
|
all:
|
|
@echo There seems to be no Makefile in this directory.
|
|
@echo "You must run ./configure before running \`make'."
|
|
@exit 1
|
|
|
|
endif
|
|
|
|
# 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:
|