summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorTristan Sloughter <t@crashfast.com>2014-09-20 22:36:54 -0500
committerTristan Sloughter <t@crashfast.com>2014-09-20 22:36:54 -0500
commite1b1152b219cf65c7f8cd3b77db5cf2156fcbab7 (patch)
treee452a4e053afd186900b54fbff9a169f81dd3726 /Makefile
parentc8772ff398e43a535d6c145ce3ed0d31952f907e (diff)
slowly widdling away at dialyzer errors
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile19
1 files changed, 11 insertions, 8 deletions
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