From c2c70f139d142573f4ef504dd5c302efd1e288b3 Mon Sep 17 00:00:00 2001
From: Reid Draper <reiddraper@gmail.com>
Date: Fri, 3 Jan 2014 18:15:59 -0600
Subject: [PATCH] Allow PLT destination to be specified

---
 Makefile | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/Makefile b/Makefile
index 2994a71..82ac955 100644
--- a/Makefile
+++ b/Makefile
@@ -25,13 +25,13 @@ docs:
 
 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 @@ dialyzer: compile
 	@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)