From 0d37ee958811fb8ec5651d38f857c04ddc04c549 Mon Sep 17 00:00:00 2001 From: William Yang Date: Fri, 7 Jan 2022 11:05:21 +0100 Subject: [PATCH] chore: add light dialyzer make target for low mem dev machines --- Makefile | 4 ++++ rebar.config.erl | 5 +++++ 2 files changed, 9 insertions(+) diff --git a/Makefile b/Makefile index 49547a03b..2907284c6 100644 --- a/Makefile +++ b/Makefile @@ -132,6 +132,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 diff --git a/rebar.config.erl b/rebar.config.erl index 982f5c3b9..4baf5a378 100644 --- a/rebar.config.erl +++ b/rebar.config.erl @@ -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) }