diff options
| author | Micael Karlberg <[email protected]> | 2011-11-25 20:52:53 +0100 |
|---|---|---|
| committer | Micael Karlberg <[email protected]> | 2011-11-25 20:52:53 +0100 |
| commit | b05fda981594800fbeec61e37a4932e23b9edabb (patch) | |
| tree | 964b58e697295c51afd7eeffec45766180f4aa05 /lib/snmp/Makefile | |
| parent | 9474024afb6a6b33e3ed433a7a2fab6f7901cf71 (diff) | |
| parent | 9eae28ccaee328729f9a207a4922a07cb9d2a02f (diff) | |
| download | otp-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/Makefile | 28 |
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 |