1
# This makefile is used only if you run GNU Make.
2
# This provides a convenience of automatically running configure
3
# if it has not previously been run.
5
# Systems where /bin/sh is not the default shell need this. The $(shell)
6
# command below won't work with e.g. stock DOS/Windows shells.
9
have-Makefile := $(shell test -f Makefile && echo yes)
10
have-configure := $(shell test -f configure && echo yes)
12
# If the user runs GNU make but has not yet run ./configure,
13
# give them a diagnostic.
14
ifeq ($(have-Makefile),yes)
20
ifeq ($(have-configure),yes)
23
@echo "There seems to be no Makefile in this directory."
24
@echo "Running ./configure before running 'make'."
31
@echo "There seems to be no Makefile in this directory."
32
@echo "There seems to be no configure script in this directory."
33
@echo "Running 'autoreconf' to generate the configure script."
41
# Tell version 3.79 and up of GNU make to not build goals in this
42
# directory in parallel. This is necessary in case someone tries to
43
# build multiple targets on one command line.