# This Makefile is used only if you run GNU make.
# It includes `Makefile' so it usually make no difference, except
# that we can add special maintainer rules here and rely
# on GNU make features.

# 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)
have-configure := $(shell test -f configure && echo yes)

ifneq ($(have-Makefile),yes)
ifeq ($(have-configure),yes)
# If there is a ./configure but no Makefile, give the user a diagnostic.
all:
	@echo There seems to be no Makefile in this directory.
	@echo You must run ./configure before running make.
	@exit 1
else
# no configure? try to create it.
all:
	autoreconf -v -f -i

endif
.PHONY: all
else
include Makefile
endif
