From a52826d6f65fb1d051d860ef17204c0a4342604a Mon Sep 17 00:00:00 2001 From: Krzysztof Jurewicz Date: Sun, 1 Jul 2018 11:56:40 +0200 Subject: Swallow warnings when creating a PLT --- plugins/dialyzer.mk | 2 +- test/plugin_dialyzer.mk | 13 +++++++++++++ 2 files changed, 14 insertions(+), 1 deletion(-) diff --git a/plugins/dialyzer.mk b/plugins/dialyzer.mk index 482857f..3978bc8 100644 --- a/plugins/dialyzer.mk +++ b/plugins/dialyzer.mk @@ -46,7 +46,7 @@ $(DIALYZER_PLT): deps app $(eval DEPS_LOG := $(shell test -f $(ERLANG_MK_TMP)/deps.log && \ while read p; do test -d $$p/ebin && echo $$p/ebin; done <$(ERLANG_MK_TMP)/deps.log)) $(verbose) dialyzer --build_plt $(DIALYZER_PLT_OPTS) --apps \ - erts kernel stdlib $(PLT_APPS) $(OTP_DEPS) $(LOCAL_DEPS) $(DEPS_LOG) + erts kernel stdlib $(PLT_APPS) $(OTP_DEPS) $(LOCAL_DEPS) $(DEPS_LOG) || test $$? -eq 2 plt: $(DIALYZER_PLT) diff --git a/test/plugin_dialyzer.mk b/test/plugin_dialyzer.mk index 44ba403..60dce34 100644 --- a/test/plugin_dialyzer.mk +++ b/test/plugin_dialyzer.mk @@ -290,3 +290,16 @@ dialyzer-plt-ebin-only: build clean $i "Confirm that rebar files were not included in the PLT" $t ! dialyzer --plt_info --plt $(APP)/.$(APP).plt | grep -q rebar + +dialyzer-plt-swallow-warnings: build clean + + $i "Bootstrap a new OTP application named $(APP)" + $t mkdir $(APP)/ + $t cp ../erlang.mk $(APP)/ + $t $(MAKE) -C $(APP) -f erlang.mk bootstrap $v + + $i "Add LFE version referring to a missing function to the list of dependencies" + $t perl -ni.bak -e 'print;if ($$.==1) {print "DEPS = lfe\ndep_lfe_commit = 2880c8a2a7f\n"}' $(APP)/Makefile + + $i "Create the PLT file" + $t $(DIALYZER_MUTEX) $(MAKE) -C $(APP) plt $v -- cgit v1.2.3