mirror of
https://github.com/ninenines/cowboy.git
synced 2025-07-14 12:20:24 +00:00
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!
This commit is contained in:
parent
c427c7f8ec
commit
f03dbf4d06
3 changed files with 9 additions and 8 deletions
1
.gitignore
vendored
1
.gitignore
vendored
|
@ -1,3 +1,4 @@
|
||||||
|
.cowboy_dialyzer.plt
|
||||||
.eunit
|
.eunit
|
||||||
ebin
|
ebin
|
||||||
logs
|
logs
|
||||||
|
|
9
Makefile
9
Makefile
|
@ -1,5 +1,6 @@
|
||||||
# See LICENSE for licensing information.
|
# See LICENSE for licensing information.
|
||||||
|
|
||||||
|
DIALYZER = dialyzer
|
||||||
REBAR = rebar
|
REBAR = rebar
|
||||||
|
|
||||||
all: app
|
all: app
|
||||||
|
@ -20,5 +21,11 @@ eunit:
|
||||||
ct:
|
ct:
|
||||||
@$(REBAR) ct
|
@$(REBAR) ct
|
||||||
|
|
||||||
|
build-plt:
|
||||||
|
@$(DIALYZER) --build_plt --output_plt .cowboy_dialyzer.plt \
|
||||||
|
--apps kernel stdlib sasl inets crypto public_key ssl
|
||||||
|
|
||||||
dialyze:
|
dialyze:
|
||||||
@$(REBAR) dialyze
|
@$(DIALYZER) --src src --plt .cowboy_dialyzer.plt \
|
||||||
|
-Wbehaviours -Werror_handling \
|
||||||
|
-Wrace_conditions -Wunmatched_returns # -Wunderspecs
|
||||||
|
|
|
@ -1,11 +1,4 @@
|
||||||
{cover_enabled, true}.
|
{cover_enabled, true}.
|
||||||
{dialyzer_opts, [src, {warnings, [
|
|
||||||
behaviours,
|
|
||||||
error_handling,
|
|
||||||
race_conditions,
|
|
||||||
unmatched_returns
|
|
||||||
%% underspecs
|
|
||||||
]}]}.
|
|
||||||
{erl_opts, [
|
{erl_opts, [
|
||||||
%% bin_opt_info,
|
%% bin_opt_info,
|
||||||
warnings_as_errors,
|
warnings_as_errors,
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue