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

openSUSE Build Service is sponsored by