aboutsummaryrefslogtreecommitdiffstats
path: root/lib
diff options
context:
space:
mode:
authorMicael Karlberg <[email protected]>2011-11-23 14:32:18 +0100
committerMicael Karlberg <[email protected]>2011-11-23 14:32:18 +0100
commit9e7449804168f701109a5fd6b2ebe6b43ecece44 (patch)
tree8f4eab3392ab3138a6f1bf168d6b4bcc9b604017 /lib
parentb3a8ad925c72bc77d3509ef8dce155d65dc1548b (diff)
downloadotp-9e7449804168f701109a5fd6b2ebe6b43ecece44.tar.gz
otp-9e7449804168f701109a5fd6b2ebe6b43ecece44.tar.bz2
otp-9e7449804168f701109a5fd6b2ebe6b43ecece44.zip
Added dialyzer targets for building inets plt and running
dialyzer on inets.
Diffstat (limited to 'lib')
-rw-r--r--lib/inets/Makefile31
1 files changed, 30 insertions, 1 deletions
diff --git a/lib/inets/Makefile b/lib/inets/Makefile
index 4765a2ca3c..1ad6ccf39f 100644
--- a/lib/inets/Makefile
+++ b/lib/inets/Makefile
@@ -31,12 +31,17 @@ VSN = $(INETS_VSN)
SPECIAL_TARGETS =
+INETS_DIA_PLT = ./priv/inets.plt
+INETS_DIA_PLT_LOG = $(basename $(INETS_DIA_PLT)).dialyzer_plt_log
+INETS_DIA_LOG = $(basename $(INETS_DIA_PLT)).dialyzer_log
+
+
# ----------------------------------------------------
# Default Subdir Targets
# ----------------------------------------------------
include $(ERL_TOP)/make/otp_subdir.mk
-.PHONY: info gclean
+.PHONY: info gclean dialyzer dialyzer_plt dclean
info:
@echo "OS: $(OS)"
@@ -45,6 +50,30 @@ info:
@echo "INETS_VSN: $(INETS_VSN)"
@echo "APP_VSN: $(APP_VSN)"
@echo ""
+ @echo "INETS_DIA_PLT: $(INETS_DIA_PLT)"
+ @echo "INETS_DIA_LOG: $(INETS_DIA_LOG)"
+ @echo ""
gclean:
git clean -fXd
+
+dclean:
+ rm -f $(INETS_DIA_PLT)
+ rm -f $(INETS_DIA_PLT_LOG)
+ rm -f $(INETS_DIA_LOG)
+
+dialyzer_plt: $(INETS_DIA_PLT)
+
+$(INETS_DIA_PLT):
+ @echo "Building inets plt file"
+ @dialyzer --build_plt \
+ --output_plt $@ \
+ -r ../inets/ebin \
+ -o $(INETS_DIA_PLT_LOG) \
+ --verbose
+
+dialyzer: $(INETS_DIA_PLT)
+ @echo "Running dialyzer on inets"
+ @dialyzer --plt $< \
+ ../inets/ebin \
+ --verbose