From af3eab652259260b139456807557342ae4876e54 Mon Sep 17 00:00:00 2001 From: Tuncer Ayaz Date: Sun, 1 Jan 2012 16:29:02 +0100 Subject: Enhance make check (Inspired-by: Stavros Aronis) --- Makefile | 22 +++++++++++++++++----- 1 file changed, 17 insertions(+), 5 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 375bc81..e521f08 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +1,5 @@ +.PHONY: dialyzer_warnings xref_warnings + all: ./bootstrap @@ -5,9 +7,19 @@ clean: @rm -rf rebar ebin/*.beam inttest/rt.work debug: - ./bootstrap debug + @./bootstrap debug + +check: debug xref dialyzer + +xref: xref_warnings + @diff -U0 xref_reference xref_warnings + +xref_warnings: + -@./rebar xref > xref_warnings + +dialyzer: dialyzer_warnings + @diff -U0 dialyzer_reference dialyzer_warnings -check: debug - -@./rebar xref - -@dialyzer ebin --verbose -Wunmatched_returns -Werror_handling \ - -Wrace_conditions +dialyzer_warnings: + -@dialyzer -q -n ebin -Wunmatched_returns -Werror_handling \ + -Wrace_conditions > dialyzer_warnings -- cgit v1.1