diff options
| author | Micael Karlberg <[email protected]> | 2011-12-01 12:20:11 +0100 |
|---|---|---|
| committer | Micael Karlberg <[email protected]> | 2011-12-01 12:20:11 +0100 |
| commit | 3cf5f67f3545cc82147706cc83febc242f6e469a (patch) | |
| tree | 5362ad3e0351c01e4b22273ea7aec2faef12bdc9 /lib/snmp/Makefile | |
| parent | 1f6dd53f2c495d2bf28fbf519b5be636bd418ffd (diff) | |
| parent | 021d5c2e49e623d4f43c0cc88a097bc99f3564e6 (diff) | |
| download | otp-3cf5f67f3545cc82147706cc83febc242f6e469a.tar.gz otp-3cf5f67f3545cc82147706cc83febc242f6e469a.tar.bz2 otp-3cf5f67f3545cc82147706cc83febc242f6e469a.zip | |
Merge branch 'maint-r14'
Conflicts:
lib/snmp/src/agent/snmpa_set_lib.erl
lib/snmp/src/app/snmp.appup.src
lib/snmp/src/compile/snmpc.src
lib/snmp/vsn.mk
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 |