mirror of
https://github.com/processone/ejabberd.git
synced 2024-11-20 16:15:59 +01:00
Split dialyzer tasks into separate Makefile targets
This commit is contained in:
parent
75b8f035f7
commit
1014593aa6
16
Makefile.in
16
Makefile.in
@ -261,8 +261,17 @@ dialyzer/ejabberd.plt:
|
|||||||
-o dialyzer/ejabberd.log ebin; \
|
-o dialyzer/ejabberd.log ebin; \
|
||||||
status=$$? ; if [ $$status -ne 2 ]; then exit $$status; else exit 0; fi
|
status=$$? ; if [ $$status -ne 2 ]; then exit $$status; else exit 0; fi
|
||||||
|
|
||||||
dialyzer: dialyzer/erlang.plt dialyzer/deps.plt dialyzer/ejabberd.plt
|
erlang_plt: dialyzer/erlang.plt
|
||||||
@dialyzer --plts dialyzer/erlang.plt dialyzer/deps.plt dialyzer/ejabberd.plt \
|
@dialyzer --plt dialyzer/erlang.plt --check_plt
|
||||||
|
|
||||||
|
deps_plt: dialyzer/deps.plt
|
||||||
|
@dialyzer --plt dialyzer/deps.plt --check_plt
|
||||||
|
|
||||||
|
ejabberd_plt: dialyzer/ejabberd.plt
|
||||||
|
@dialyzer --plt dialyzer/ejabberd.plt --check_plt
|
||||||
|
|
||||||
|
dialyzer: erlang_plt deps_plt ejabberd_plt
|
||||||
|
@dialyzer --plts dialyzer/*.plt --no_check_plt \
|
||||||
--get_warnings -o dialyzer/error.log ebin; \
|
--get_warnings -o dialyzer/error.log ebin; \
|
||||||
status=$$? ; if [ $$status -ne 2 ]; then exit $$status; else exit 0; fi
|
status=$$? ; if [ $$status -ne 2 ]; then exit $$status; else exit 0; fi
|
||||||
|
|
||||||
@ -273,4 +282,5 @@ test:
|
|||||||
$(REBAR) skip_deps=true ct
|
$(REBAR) skip_deps=true ct
|
||||||
|
|
||||||
.PHONY: src doc edoc dialyzer Makefile TAGS clean clean-rel distclean rel \
|
.PHONY: src doc edoc dialyzer Makefile TAGS clean clean-rel distclean rel \
|
||||||
install uninstall uninstall-binary uninstall-all translations deps test spec
|
install uninstall uninstall-binary uninstall-all translations deps test spec \
|
||||||
|
erlang_plt deps_plt ejabberd_plt
|
||||||
|
Loading…
Reference in New Issue
Block a user