aboutsummaryrefslogtreecommitdiffstats
path: root/lib/snmp/Makefile
diff options
context:
space:
mode:
authorMicael Karlberg <[email protected]>2011-11-25 20:52:53 +0100
committerMicael Karlberg <[email protected]>2011-11-25 20:52:53 +0100
commitb05fda981594800fbeec61e37a4932e23b9edabb (patch)
tree964b58e697295c51afd7eeffec45766180f4aa05 /lib/snmp/Makefile
parent9474024afb6a6b33e3ed433a7a2fab6f7901cf71 (diff)
parent9eae28ccaee328729f9a207a4922a07cb9d2a02f (diff)
downloadotp-b05fda981594800fbeec61e37a4932e23b9edabb.tar.gz
otp-b05fda981594800fbeec61e37a4932e23b9edabb.tar.bz2
otp-b05fda981594800fbeec61e37a4932e23b9edabb.zip
Merge branch 'bmk/snmp/add_make_targets_for_dialyzer_plt_building' into bmk/snmp/snmp4213_integration
Diffstat (limited to 'lib/snmp/Makefile')
-rw-r--r--lib/snmp/Makefile28
1 files changed, 28 insertions, 0 deletions
diff --git a/lib/snmp/Makefile b/lib/snmp/Makefile
index 4264531112..ff6fad8ddc 100644
--- a/lib/snmp/Makefile
+++ b/lib/snmp/Makefile
@@ -54,6 +54,9 @@ else
endif
+DIA_PLT = ./priv/plt/$(APPLICATION).plt
+DIA_ANALYSIS = $(basename $(DIA_PLT)).dialyzer_analysis
+
# ----------------------------------------------------
# Default Subdir Targets
# ----------------------------------------------------
@@ -75,6 +78,11 @@ info:
@echo ""
@echo "SNMP_VSN: $(SNMP_VSN)"
@echo "APP_VSN: $(APP_VSN)"
+ @echo ""
+ @echo "DIA_PLT: $(DIA_PLT)"
+ @echo "DIA_ANALYSIS: $(DIA_ANALYSIS)"
+ @echo ""
+
gclean:
git clean -fXd
@@ -120,3 +128,23 @@ tar: $(APP_TAR_FILE)
$(APP_TAR_FILE): $(APP_DIR)
(cd $(APP_RELEASE_DIR); gtar zcf $(APP_TAR_FILE) $(DIR_NAME))
+
+dclean:
+ rm -f $(DIA_PLT)
+ rm -f $(DIA_ANALYSIS)
+
+dialyzer_plt: $(DIA_PLT)
+
+$(DIA_PLT):
+ @echo "Building $(APPLICATION) plt file"
+ @dialyzer --build_plt \
+ --output_plt $@ \
+ -r ../$(APPLICATION)/ebin \
+ --output $(DIA_ANALYSIS) \
+ --verbose
+
+dialyzer: $(DIA_PLT)
+ @echo "Running dialyzer on $(APPLICATION)"
+ @dialyzer --plt $< \
+ ../$(APPLICATION)/ebin \
+ --verbose \ No newline at end of file