From e1b1152b219cf65c7f8cd3b77db5cf2156fcbab7 Mon Sep 17 00:00:00 2001
From: Tristan Sloughter <t@crashfast.com>
Date: Sat, 20 Sep 2014 22:36:54 -0500
Subject: slowly widdling away at dialyzer errors

---
 Makefile | 19 +++++++++++--------
 1 file changed, 11 insertions(+), 8 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 8ab2117..2e02370 100644
--- a/Makefile
+++ b/Makefile
@@ -1,8 +1,10 @@
-.PHONY: clean dialyzer_warnings xref_warnings deps test
+.PHONY: clean xref_warnings deps test
 
 REBAR=$(PWD)/rebar3
 RETEST=$(PWD)/deps/retest/retest
 
+DEPS_PLT=$(CURDIR)/.depsolver_plt
+
 all:
 	./bootstrap/bootstrap
 
@@ -11,23 +13,24 @@ clean:
 	@rm -f .rebarinfo
 
 distclean: clean
-	@rm -f dialyzer_warnings
 	@rm -rf deps
 
 debug:
 	@./bootstrap/bootstrap debug
 
-check: debug xref dialyzer deps test
+check: debug xref deps test
 
 xref:
 	@./rebar3 xref
 
-dialyzer: dialyzer_warnings
-	@diff -U0 dialyzer_reference dialyzer_warnings
+$(DEPS_PLT):
+	@echo Building local erts plt at $(DEPS_PLT)
+	@echo
+	dialyzer --output_plt $(DEPS_PLT) --build_plt \
+	--apps erts kernel stdlib -r deps
 
-dialyzer_warnings:
-	-@dialyzer -q -nn -n ebin -Wunmatched_returns -Werror_handling \
-		-Wrace_conditions > dialyzer_warnings
+dialyzer: $(DEPS_PLT)
+	dialyzer --fullpath --plt $(DEPS_PLT) -Wno_opaque -Wrace_conditions -r ./ebin
 
 binary: VSN = $(shell ./rebar3 -V)
 binary: clean all
-- 
cgit v1.1