yuanbiao
/
emqx
1
0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #6677 from qzhuyan/dev/william/add-light-dialyzer-check 

chore: add light dialyzer make target
This commit is contained in:
William Yang 2022-01-11 09:39:58 +01:00 committed by GitHub
parent 19dd5a7c97 0d37ee9588
commit 202e23987d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Makefile
View File

@ -135,6 +135,10 @@ xref: $(REBAR)
dialyzer: $(REBAR)
@$(REBAR) as check dialyzer
.PHONY: ldialyzer
ldialyzer: $(REBAR)
@$(REBAR) as lcheck dialyzer
COMMON_DEPS := $(REBAR) get-dashboard conf-segs
## rel target is to create release package without relup

5
rebar.config.erl
View File

@ -163,6 +163,11 @@ profiles() ->
[ {erl_opts, common_compile_opts()}
, {project_app_dirs, project_app_dirs(ce)}
]}
, {lcheck,
[ {erl_opts, common_compile_opts()}
, {project_app_dirs, project_app_dirs(ce)}
, {dialyzer, [{warnings, [unmatched_returns, error_handling]}]}
]}
, {test,
[ {deps, test_deps()}
, {erl_opts, common_compile_opts() ++ erl_opts_i(ce) }