Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:Ledest:erlang:20
erlang
2867-Fix-tweak-dialyze-target.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
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
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor
