GNUmakefile

   1 # This makefile is used only if you run GNU Make.
   2 # It is necessary if you modify files in the m4/ directory or
   3 # want to build targets usually of interest only to the maintainer.
   4
   5 have-Makefile := $(shell test -f Makefile && echo yes)
   6
   7 # If the user runs GNU make but has not yet run ./configure,
   8 # give them a diagnostic.
   9 ifeq ($(have-Makefile),yes)
  10
  11 export VERBOSE = yes
  12 include Makefile
  13
  14 else
  15
  16 all:
  17        @echo There seems to be no Makefile in this directory.
  18        @echo "You must run ./configure before running \`make'."
  19        @exit 1
  20
  21 endif