diff options
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | Makefile | 9 | ||||
-rw-r--r-- | rebar.config | 7 |
3 files changed, 9 insertions, 8 deletions
@@ -1,3 +1,4 @@ +.cowboy_dialyzer.plt .eunit ebin logs @@ -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 diff --git a/rebar.config b/rebar.config index e700ab8..afdbcc6 100644 --- a/rebar.config +++ b/rebar.config @@ -1,11 +1,4 @@ {cover_enabled, true}. -{dialyzer_opts, [src, {warnings, [ - behaviours, - error_handling, - race_conditions, - unmatched_returns -%% underspecs -]}]}. {erl_opts, [ %% bin_opt_info, warnings_as_errors, |