1 # This file is used for common development targets that can be done with
2 # needing the cumbersome bootstrapping process.
4 # You can use it like this:
6 # make -f .makefile indent
8 # If you copy or link this file to `GNUmakefile` then you can just do:
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
17 # Remind user when they are using GNUmakefile:
18 ifeq ($(lastword $(MAKEFILE_LIST)),GNUmakefile)
19 $(info *** NOTE: GNUmakefile in use. ***)
31 # SOURCE_FILES := $(shell find . | grep '\.c$$')
32 SOURCE_FILES := $(shell find tests/run-test-suite | grep '\.c$$')
33 ifneq ($(shell which gindent),)
44 # Proxy these targets to the real Makefile, after bootstrapping is necessary.
45 $(MAKE_TARGETS): Makefile
55 # Development make targets:
58 $(INDENT) $(SOURCE_FILES)
61 rm -fr tests/run-test-suite/data
62 git clean -dxf -e GNUmakefile