diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -1,6 +1,7 @@ .PHONY: all all: setup $(MAKE) -f scripts/makefile + $(MAKE) -C mod # this kicks all unrecognised targets to the client script. # note that trying to compile individual files, e.g. @@ -17,13 +18,17 @@ all: setup .PHONY: analyze analyze: setup - CC='gcc -fanalyzer' SKIP_ANALYZER='-fno-analyzer' $(MAKE) CROSS_COMPILE= + CFLAGS="$$CFLAGS -fanalyzer" SKIP_ANALYZER='-fno-analyzer' $(MAKE) .PHONY: setup setup: @echo -n > deps.mk @./scripts/gen-deps -p FWD -c COMPILE_FWD -b fwd "$(FWD_SOURCES)" +.PHONY: check +check: all + $(MAKE) -C tests -k check + CLEANUP := build deps.mk fwd CLEANUP_CMD := FWD_SOURCES := @@ -50,6 +55,7 @@ RM = rm .PHONY: clean clean: + $(MAKE) -C tests clean $(RM) -rf $(CLEANUP) .PHONY: clean_docs |