diff options
author | Anders Svensson <anders@erlang.org> | 2012-08-26 22:14:47 +0200 |
---|---|---|
committer | Anders Svensson <anders@erlang.org> | 2012-08-26 23:13:29 +0200 |
commit | ce2b8dfdfdf2cd67884a59a44bbd834bc7c4d872 (patch) | |
tree | e78a938bef2c45ced91d5cdb139a0ff95c5ffbfc /lib/diameter/src/Makefile | |
parent | 872db12d02ee0d9954ca52cad3fe2dcc2344fb21 (diff) | |
download | otp-ce2b8dfdfdf2cd67884a59a44bbd834bc7c4d872.tar.gz otp-ce2b8dfdfdf2cd67884a59a44bbd834bc7c4d872.tar.bz2 otp-ce2b8dfdfdf2cd67884a59a44bbd834bc7c4d872.zip |
Add plt/dialyze targets to src/Makefile
Diffstat (limited to 'lib/diameter/src/Makefile')
-rw-r--r-- | lib/diameter/src/Makefile | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/lib/diameter/src/Makefile b/lib/diameter/src/Makefile index 6a5cb1a106..26f5ae480e 100644 --- a/lib/diameter/src/Makefile +++ b/lib/diameter/src/Makefile @@ -185,6 +185,27 @@ realclean: clean rm -f ../ebin/* # Not $(EBIN) just to be a bit paranoid +PLT = ./otp.plt + +plt: + dialyzer --build_plt \ + --apps erts stdlib kernel \ + xmerl ssl public_key crypto \ + compiler syntax_tools runtime_tools \ + --output_plt $(PLT) \ + --verbose + +dialyze: opt $(PLT) + dialyzer --plt $(PLT) \ + --verbose \ + -Wno_improper_lists \ + $(EBIN)/diameter_gen_base_rfc3588.$(EMULATOR) \ + $(patsubst %, $(EBIN)/%.$(EMULATOR), \ + $(notdir $(RT_MODULES) $(CT_MODULES))) +# Omit all but the common dictionary module since these +# (diameter_gen_relay in particular) generate warning depending on how +# much of the included diameter_gen.hrl they use. + # ---------------------------------------------------- # Release targets # ---------------------------------------------------- @@ -253,6 +274,7 @@ depend.mk: depend.sed $(MODULES:%=%.erl) Makefile .PHONY: debug opt release_docs_spec release_spec .PHONY: $(TARGET_DIRS:%/=%) $(TARGET_DIRS:%/=release_src_%) .PHONY: $(EXAMPLE_DIRS:%/=release_examples_%) +.PHONY: plt dialyze # Keep intermediate files. .SECONDARY: $(DICT_ERLS) $(DICT_HRLS) gen/$(DICT_YRL:%=%.erl) |