GNUmakefile

   1 # Having a separate GNUmakefile lets me `include' the dynamically
   2 # generated rules created via Makefile.maint as well as Makefile.maint itself.
   3 # This makefile is used only if you run GNU Make.
   4 # It is necessary if you want to build targets usually of interest
   5 # only to the maintainer.
   6
   7 # Systems where /bin/sh is not the default shell need this.  The $(shell)
   8 # command below won't work with e.g. stock DOS/Windows shells.
   9 SHELL = /bin/sh
  10
  11 have-Makefile := $(shell test -f Makefile && echo yes)
  12
  13 # If the user runs GNU make but has not yet run ./configure,
  14 # give them a diagnostic.
  15 ifeq ($(have-Makefile),yes)
  16
  17 # Make tar archive easier to reproduce.
  18 #export TAR_OPTIONS = --owner=0 --group=0 --numeric-owner
  19
  20 include Makefile
  21 include $(srcdir)/Makefile.cfg
  22 include $(srcdir)/Makefile.maint
  23
  24 else
  25
  26 all:
  27         @echo There seems to be no Makefile in this directory.
  28         @echo "You must run ./configure before running \`make'."
  29         @exit 1
  30
  31 endif
  32
  33 # Tell version 3.79 and up of GNU make to not build goals in this
  34 # directory in parallel.  This is necessary in case someone tries to
  35 # build multiple targets on one command line.
  36 .NOTPARALLEL: