Allow PLT destination to be specified
diff --git a/Makefile b/Makefile
index 2994a71..82ac955 100644
--- a/Makefile
+++ b/Makefile
@@ -25,13 +25,13 @@
APPS = kernel stdlib sasl erts ssl tools os_mon runtime_tools crypto inets \
xmerl webtool snmp public_key mnesia eunit
-COMBO_PLT = $(HOME)/.riak_combo_dialyzer_plt
+PLT ?= $(HOME)/.riak_combo_dialyzer_plt
check_plt: compile
- dialyzer --check_plt --plt $(COMBO_PLT) --apps $(APPS)
+ dialyzer --check_plt --plt $(PLT) --apps $(APPS)
build_plt: compile
- dialyzer --build_plt --output_plt $(COMBO_PLT) --apps $(APPS)
+ dialyzer --build_plt --output_plt $(PLT) --apps $(APPS)
dialyzer: compile
@echo
@@ -39,14 +39,14 @@
@echo Use "'make build_plt'" to build PLT prior to using this target.
@echo
@sleep 1
- dialyzer -Wunmatched_returns --plt $(COMBO_PLT) ebin | \
+ dialyzer -Wunmatched_returns --plt $(PLT) ebin | \
fgrep -v -f ./dialyzer.ignore-warnings
cleanplt:
@echo
@echo "Are you sure? It takes about 1/2 hour to re-build."
- @echo Deleting $(COMBO_PLT) in 5 seconds.
+ @echo Deleting $(PLT) in 5 seconds.
@echo
sleep 5
- rm $(COMBO_PLT)
+ rm $(PLT)
