.makefile

   1 # This file is used for common development targets that can be done with
   2 # needing the cumbersome bootstrapping process.
   3 #
   4 # You can use it like this:
   5 #
   6 #   make -f .makefile indent
   7 #
   8 # If you copy or link this file to `GNUmakefile` then you can just do:
   9 #
  10 #   make indent
  11 #
  12 # When copied to `GNUmakefile`, this file is can also be used for bootstrapping
  13 # Makefile targets. Since GNUmakefile is loaded before Makefile, we do the
  14 # bootstrapping tasks need to get a Makefile first, then we use the Makefile to
  15 # make our target.
  16
  17 MAKE_TARGETS := \
  18         all \
  19         all-am \
  20         all-recursive \
  21         install \
  22         test \
  23         test-all \
  24         test-suite \
  25
  26 # SOURCE_FILES := $(shell find . | grep '\.c$$')
  27 SOURCE_FILES := $(shell find tests/run-test-suite | grep '\.c$$')
  28 ifneq ($(shell which gindent),)
  29 INDENT := gindent
  30 else
  31 INDENT := indent
  32 endif
  33
  34 #
  35 # Proxy make targets:
  36 #
  37 default: all
  38
  39 # Proxy these targets to the real Makefile, after bootstrapping is necessary.
  40 $(MAKE_TARGETS): Makefile
  41         @make -f $< $@
  42
  43 Makefile: Makefile.in
  44         ./configure
  45
  46 Makefile.in:
  47         ./bootstrap
  48
  49 #
  50 # Development make targets:
  51 #
  52 indent:
  53         $(INDENT) $(SOURCE_FILES)
  54
  55 distclean purge:
  56         rm -fr tests/run-test-suite/data
  57         git clean -dxf -e GNUmakefile