diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..1afd6d9 --- /dev/null +++ b/Makefile @@ -0,0 +1,46 @@ +.PHONY: all +all: setup + $(MAKE) -f scripts/makefile + +# this kicks all unrecognised targets to the client script. +# note that trying to compile individual files, e.g. +# +# make kernel.elf +# +# will not work, you would need +# +# make -f scripts/makefile kernel.elf +# +# instead +.DEFAULT: setup + $(MAKE) -f scripts/makefile $< + +.PHONY: analyze +analyze: setup + CC='gcc -fanalyzer' SKIP_ANALYZER='-fno-analyzer' $(MAKE) CROSS_COMPILE= + +.PHONY: setup +setup: deps + @echo -n > deps.mk + @./scripts/gen-deps -p CALC -c COMPILE_CALC -b calc "$(CALC_SOURCES)" + +CLEANUP := build deps.mk calc +CLEANUP_CMD := +CALC_SOURCES := + +include src/source.mk + +.PHONY: check +check: all + $(MAKE) -C tests -k check + +RM = rm + +.PHONY: clean +clean: + $(RM) -rf $(CLEANUP) + $(MAKE) -C deps/ejit clean + +.PHONY: deps +deps: + $(MAKE) -C deps/ejit |