aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMicael Karlberg <[email protected]>2011-11-23 16:56:26 +0100
committerMicael Karlberg <[email protected]>2011-11-23 16:56:26 +0100
commitbf5ca7ed7a42152b3fc82a0c824dfa97f32bf7d5 (patch)
treeff003560b1a8e168fa75dd005738f3a29d44fcd5
parent6c82cc7c3ddb545603ea2bcb6bfaf5706e9b71f3 (diff)
parent20733e3fd8b7ca6ec37585e17a88a8c9cf0d4410 (diff)
downloadotp-bf5ca7ed7a42152b3fc82a0c824dfa97f32bf7d5.tar.gz
otp-bf5ca7ed7a42152b3fc82a0c824dfa97f32bf7d5.tar.bz2
otp-bf5ca7ed7a42152b3fc82a0c824dfa97f32bf7d5.zip
Merge branch 'bmk/inets/own_dialyzer_plt' into bmk/inets/inets58_integration2
-rw-r--r--lib/inets/Makefile29
-rw-r--r--lib/inets/priv/plt/.gitignore2
2 files changed, 30 insertions, 1 deletions
diff --git a/lib/inets/Makefile b/lib/inets/Makefile
index 4765a2ca3c..1414a89621 100644
--- a/lib/inets/Makefile
+++ b/lib/inets/Makefile
@@ -31,12 +31,16 @@ VSN = $(INETS_VSN)
SPECIAL_TARGETS =
+INETS_DIA_PLT = ./priv/plt/inets.plt
+INETS_DIA_ANALYSIS = $(basename $(INETS_DIA_PLT)).dialyzer_analysis
+
+
# ----------------------------------------------------
# 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 +49,29 @@ info:
@echo "INETS_VSN: $(INETS_VSN)"
@echo "APP_VSN: $(APP_VSN)"
@echo ""
+ @echo "INETS_DIA_PLT: $(INETS_DIA_PLT)"
+ @echo "INETS_DIA_ANALYSIS: $(INETS_DIA_ANALYSIS)"
+ @echo ""
gclean:
git clean -fXd
+
+dclean:
+ rm -f $(INETS_DIA_PLT)
+ rm -f $(INETS_DIA_ANALYSIS)
+
+dialyzer_plt: $(INETS_DIA_PLT)
+
+$(INETS_DIA_PLT):
+ @echo "Building inets plt file"
+ @dialyzer --build_plt \
+ --output_plt $@ \
+ -r ../inets/ebin \
+ --output $(INETS_DIA_ANALYSIS) \
+ --verbose
+
+dialyzer: $(INETS_DIA_PLT)
+ @echo "Running dialyzer on inets"
+ @dialyzer --plt $< \
+ ../inets/ebin \
+ --verbose
diff --git a/lib/inets/priv/plt/.gitignore b/lib/inets/priv/plt/.gitignore
new file mode 100644
index 0000000000..2051b52d48
--- /dev/null
+++ b/lib/inets/priv/plt/.gitignore
@@ -0,0 +1,2 @@
+/*.plt
+/*.dialyzer_analysis