File 2867-Fix-tweak-dialyze-target.patch of Package erlang
From b1a7438e06316a3da06b585f7ec9a17472feb87a Mon Sep 17 00:00:00 2001 From: Anders Svensson <anders@erlang.org> Date: Mon, 10 Feb 2020 11:37:26 +0100 Subject: [PATCH 7/7] Fix/tweak dialyze target The target only worked if the plt was already built since a $(PLT) target was missing. --- lib/diameter/src/Makefile | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/lib/diameter/src/Makefile b/lib/diameter/src/Makefile index 98636ed6e2..2d6dcc811e 100644 --- a/lib/diameter/src/Makefile +++ b/lib/diameter/src/Makefile @@ -210,12 +210,16 @@ realclean: clean PLT = ./otp.plt -plt: +plt: $(PLT) + +$(PLT): dialyzer --build_plt \ --apps erts stdlib kernel \ xmerl ssl public_key crypto \ compiler syntax_tools runtime_tools \ - --output_plt $(PLT) \ + --output_plt $@ \ + --get_warnings \ + --statistics \ --verbose dialyze: opt $(PLT) -- 2.16.4