Skip to content

Commit 9ee8586

Browse files
committed
Fix rebar3 dialyzer usage
1 parent 51b8edf commit 9ee8586

File tree

3 files changed

+5
-8
lines changed

3 files changed

+5
-8
lines changed

.gitignore

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -34,4 +34,3 @@ priv/plots/*.pdf
3434
fprof.trace
3535
.rebar3/
3636
.eqc/
37-
types.plt

Makefile

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -46,10 +46,4 @@ ct:
4646
shell:
4747
${REBAR} shell --apps types
4848

49-
unknown-types:
50-
dialyzer --build_plt --apps ${DIALYZER_APPS} syntax_tools --output_plt types.plt
51-
dialyzer --plt types.plt --src src/
52-
53-
DIALYZER_APPS = kernel stdlib erts sasl eunit syntax_tools compiler crypto
54-
5549
include tools.mk

rebar.config

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,10 @@
11
{deps, []}.
22

3-
{dialyzer_base_plt_apps, [kernel, stdlib, erts, sasl, eunit, syntax_tools, compiler, crypto]}.
3+
{dialyzer, [
4+
{plt_extra_apps, [sasl, eunit, syntax_tools, compiler]},
5+
{warnings, [unknown]}
6+
]}.
7+
48
{xref_checks, [undefined_function_calls]}.
59
{erl_opts, [debug_info,
610
warnings_as_errors,

0 commit comments

Comments
 (0)