25
1
mirror of https://github.com/processone/ejabberd.git synced 2024-11-22 16:20:52 +01:00

Improve the "dialyzer" target

This commit is contained in:
Evgeniy Khramtsov 2013-06-24 03:37:18 +10:00
parent eb74efb5e6
commit e68473fea8

View File

@ -239,17 +239,32 @@ TAGS:
Makefile: Makefile.in Makefile: Makefile.in
erlang.plt: deps := $(wildcard deps/*/ebin)
-dialyzer --build_plt --output_plt erlang.plt \
--apps kernel stdlib sasl crypto public_key ssl mnesia \
inets odbc tools compiler erts webtool runtime_tools asn1 \
observer xmerl et gs wx syntax_tools deps/*/ebin
plt: erlang.plt dialyzer/erlang.plt:
@mkdir -p dialyzer
@dialyzer --build_plt --output_plt dialyzer/erlang.plt \
-o dialyzer/erlang.log --apps kernel stdlib sasl crypto \
public_key ssl mnesia inets odbc tools compiler erts webtool \
runtime_tools asn1 observer xmerl et gs wx syntax_tools; \
status=$$? ; if [ $$status -ne 2 ]; then exit $$status; else exit 0; fi
dialyzer: plt dialyzer/deps.plt:
-dialyzer --plt erlang.plt --add_to_plt --output_plt ejabberd.plt \ @mkdir -p dialyzer
--get_warnings -o dialyzer.log ebin @dialyzer --build_plt --output_plt dialyzer/deps.plt \
-o dialyzer/deps.log $(deps); \
status=$$? ; if [ $$status -ne 2 ]; then exit $$status; else exit 0; fi
dialyzer/ejabberd.plt:
@mkdir -p dialyzer
@dialyzer --build_plt --output_plt dialyzer/ejabberd.plt \
-o dialyzer/ejabberd.log ebin; \
status=$$? ; if [ $$status -ne 2 ]; then exit $$status; else exit 0; fi
dialyzer: dialyzer/erlang.plt dialyzer/deps.plt dialyzer/ejabberd.plt
@dialyzer --plts dialyzer/erlang.plt dialyzer/deps.plt dialyzer/ejabberd.plt \
--get_warnings -o dialyzer/error.log ebin; \
status=$$? ; if [ $$status -ne 2 ]; then exit $$status; else exit 0; fi
test: test:
@echo "************************** NOTICE ***************************************" @echo "************************** NOTICE ***************************************"
@ -257,5 +272,5 @@ test:
@echo "*************************************************************************" @echo "*************************************************************************"
$(REBAR) skip_deps=true ct $(REBAR) skip_deps=true ct
.PHONY: src doc edoc dialyzer Makefile TAGS clean clean-rel distclean rel plt \ .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