aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMicael Karlberg <[email protected]>2011-11-23 17:16:47 +0100
committerMicael Karlberg <[email protected]>2011-11-23 17:16:47 +0100
commita42bf8a5f11dcc5e35685951964a293a0e9ee6a4 (patch)
tree29e7ddc3b1f1c71fa0b0fc84e5a7f751ea5c2473
parent20733e3fd8b7ca6ec37585e17a88a8c9cf0d4410 (diff)
downloadotp-a42bf8a5f11dcc5e35685951964a293a0e9ee6a4.tar.gz
otp-a42bf8a5f11dcc5e35685951964a293a0e9ee6a4.tar.bz2
otp-a42bf8a5f11dcc5e35685951964a293a0e9ee6a4.zip
Make dialyzer targets more general...
-rw-r--r--lib/inets/Makefile26
1 files changed, 13 insertions, 13 deletions
diff --git a/lib/inets/Makefile b/lib/inets/Makefile
index 1414a89621..fd22c65ddb 100644
--- a/lib/inets/Makefile
+++ b/lib/inets/Makefile
@@ -31,8 +31,8 @@ VSN = $(INETS_VSN)
SPECIAL_TARGETS =
-INETS_DIA_PLT = ./priv/plt/inets.plt
-INETS_DIA_ANALYSIS = $(basename $(INETS_DIA_PLT)).dialyzer_analysis
+DIA_PLT = ./priv/plt/$(APPLICATION).plt
+DIA_ANALYSIS = $(basename $(DIA_PLT)).dialyzer_analysis
# ----------------------------------------------------
@@ -49,29 +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 "DIA_PLT: $(DIA_PLT)"
+ @echo "DIA_ANALYSIS: $(DIA_ANALYSIS)"
@echo ""
gclean:
git clean -fXd
dclean:
- rm -f $(INETS_DIA_PLT)
- rm -f $(INETS_DIA_ANALYSIS)
+ rm -f $(DIA_PLT)
+ rm -f $(DIA_ANALYSIS)
-dialyzer_plt: $(INETS_DIA_PLT)
+dialyzer_plt: $(DIA_PLT)
$(INETS_DIA_PLT):
- @echo "Building inets plt file"
+ @echo "Building $(APPLICATION) plt file"
@dialyzer --build_plt \
--output_plt $@ \
- -r ../inets/ebin \
- --output $(INETS_DIA_ANALYSIS) \
+ -r ../$(APPLICATION)/ebin \
+ --output $(DIA_ANALYSIS) \
--verbose
-dialyzer: $(INETS_DIA_PLT)
- @echo "Running dialyzer on inets"
+dialyzer: $(DIA_PLT)
+ @echo "Running dialyzer on $(APPLICATION)"
@dialyzer --plt $< \
- ../inets/ebin \
+ ../$(APPLICATION)/ebin \
--verbose