diff options
| author | omarkj <omarkj@gmail.com> | 2014-11-03 13:58:58 -0800 |
|---|---|---|
| committer | omarkj <omarkj@gmail.com> | 2014-11-03 13:58:58 -0800 |
| commit | a1d030c9649526422f58e0fb5dae9d33564b395a (patch) | |
| tree | feb95f0fec3421ed876e1802584430e18e29f73f /Makefile | |
| parent | 58f4019fa62a73e335967870f6605182d7386830 (diff) | |
| parent | a3ec3a3424dd47e9687d0d2960ef2d3cba6a8f5c (diff) | |
add help
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 19 |
1 files changed, 11 insertions, 8 deletions
@@ -1,8 +1,10 @@ -.PHONY: clean dialyzer_warnings xref_warnings deps test +.PHONY: clean xref_warnings deps test REBAR=$(PWD)/rebar3 RETEST=$(PWD)/deps/retest/retest +DEPS_PLT=$(CURDIR)/.depsolver_plt + all: ./bootstrap/bootstrap @@ -11,23 +13,24 @@ clean: @rm -f .rebarinfo distclean: clean - @rm -f dialyzer_warnings @rm -rf deps debug: @./bootstrap/bootstrap debug -check: debug xref dialyzer deps test +check: debug xref deps test xref: @./rebar3 xref -dialyzer: dialyzer_warnings - @diff -U0 dialyzer_reference dialyzer_warnings +$(DEPS_PLT): + @echo Building local erts plt at $(DEPS_PLT) + @echo + dialyzer --output_plt $(DEPS_PLT) --build_plt \ + --apps erts kernel stdlib -r deps -dialyzer_warnings: - -@dialyzer -q -nn -n ebin -Wunmatched_returns -Werror_handling \ - -Wrace_conditions > dialyzer_warnings +dialyzer: $(DEPS_PLT) + dialyzer --fullpath --plt $(DEPS_PLT) -Wno_opaque -Wrace_conditions -r ./ebin binary: VSN = $(shell ./rebar3 -V) binary: clean all |