From f03dbf4d0662a231454f7c188c10e2892c2733ce Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= Date: Tue, 21 Jun 2011 17:24:07 +0200 Subject: Use dialyzer directly instead of through rebar Rebar recently removed their dialyzer support options so we're switching to plain dialyzer. And as a bonus it works much better! --- Makefile | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 7678009..04f12d7 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,6 @@ # See LICENSE for licensing information. +DIALYZER = dialyzer REBAR = rebar all: app @@ -20,5 +21,11 @@ eunit: ct: @$(REBAR) ct +build-plt: + @$(DIALYZER) --build_plt --output_plt .cowboy_dialyzer.plt \ + --apps kernel stdlib sasl inets crypto public_key ssl + dialyze: - @$(REBAR) dialyze + @$(DIALYZER) --src src --plt .cowboy_dialyzer.plt \ + -Wbehaviours -Werror_handling \ + -Wrace_conditions -Wunmatched_returns # -Wunderspecs -- cgit v1.2.3