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 | |
| 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
| -rw-r--r-- | lib/snmp/Makefile | 28 | ||||
| -rw-r--r-- | lib/snmp/priv/plt/.gitignore | 3 | ||||
| -rw-r--r-- | lib/snmp/vsn.mk | 3 |
3 files changed, 33 insertions, 1 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 diff --git a/lib/snmp/priv/plt/.gitignore b/lib/snmp/priv/plt/.gitignore new file mode 100644 index 0000000000..174481f561 --- /dev/null +++ b/lib/snmp/priv/plt/.gitignore @@ -0,0 +1,3 @@ +/*.plt +/*.dialyzer_analysis + diff --git a/lib/snmp/vsn.mk b/lib/snmp/vsn.mk index 25e3a9470b..43f67a744e 100644 --- a/lib/snmp/vsn.mk +++ b/lib/snmp/vsn.mk @@ -17,6 +17,7 @@ # # %CopyrightEnd% +APPLICATION = snmp SNMP_VSN = 4.21.3 PRE_VSN = -APP_VSN = "snmp-$(SNMP_VSN)$(PRE_VSN)" +APP_VSN = "$(APPLICATION)-$(SNMP_VSN)$(PRE_VSN)" |