diff options
| author | Anders Svensson <[email protected]> | 2012-08-28 15:04:56 +0200 |
|---|---|---|
| committer | Anders Svensson <[email protected]> | 2012-08-28 15:04:56 +0200 |
| commit | d4eccdc4b544215f3706408bdeabe8c231780065 (patch) | |
| tree | c34a275caf2b8be79ae25d18d0d98079293ce33e /lib/diameter/src/Makefile | |
| parent | 2fb7f9750ee0d7f33d91f6e12c4339a7a64fb481 (diff) | |
| parent | fef602372214f864ab1d685ee6053d36d9dcc605 (diff) | |
| download | otp-d4eccdc4b544215f3706408bdeabe8c231780065.tar.gz otp-d4eccdc4b544215f3706408bdeabe8c231780065.tar.bz2 otp-d4eccdc4b544215f3706408bdeabe8c231780065.zip | |
Merge branch 'anders/diameter/R15B02_release' into maint
* anders/diameter/R15B02_release:
Update appup
Add plt/dialyze targets to src/Makefile
Add realclean target to src/Makefile
Add any target to test/Makefile
vsn -> 1.2
Diffstat (limited to 'lib/diameter/src/Makefile')
| -rw-r--r-- | lib/diameter/src/Makefile | 30 |
1 files changed, 28 insertions, 2 deletions
diff --git a/lib/diameter/src/Makefile b/lib/diameter/src/Makefile index de2eca0279..99c343275b 100644 --- a/lib/diameter/src/Makefile +++ b/lib/diameter/src/Makefile @@ -1,7 +1,7 @@ # # %CopyrightBegin% # -# Copyright Ericsson AB 2010-2011. All Rights Reserved. +# Copyright Ericsson AB 2010-2012. All Rights Reserved. # # The contents of this file are subject to the Erlang Public License, # Version 1.1, (the "License"); you may not use this file except in @@ -181,6 +181,31 @@ clean: rm -f $(TARGET_FILES) gen/* rm -f depend.mk +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 # ---------------------------------------------------- @@ -245,10 +270,11 @@ depend.mk: depend.sed $(MODULES:%=%.erl) Makefile -include depend.mk -.PHONY: app clean depend dict info release_subdir +.PHONY: app clean realclean depend dict info release_subdir .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) |