[MacPorts] #72155: z3 @4.13.4: error: Error in reading profile .../z3.profdata: No such file or directory

[MacPorts]

#72155: z3 @4.13.4: error: Error in reading profile .../z3.profdata: No such file
or directory
---------------------+--------------------
  Reporter:  lpgaff  |      Owner:  (none)
      Type:  defect  |     Status:  new
  Priority:  Normal  |  Milestone:
 Component:  ports   |    Version:  2.10.5
Resolution:          |   Keywords:
      Port:  z3      |
---------------------+--------------------

Comment (by Chris Jones <jonesc@…>):

 In [changeset:"c6d41f796486be89fa1c8f7ebcf3c9797cbdfbe4/macports-ports"
 c6d41f796486be89fa1c8f7ebcf3c9797cbdfbe4/macports-ports] (master):
 {{{
 #!ConfigurableCommitTicketReference repository="macports-ports"
 revision="c6d41f796486be89fa1c8f7ebcf3c9797cbdfbe4"
 z3: Check z3.pgo_profile is properly set before using
 See: https://trac.macports.org/ticket/72155
 }}}

-- 
Ticket URL: <https://trac.macports.org/ticket/72155#comment:6>
MacPorts <https://www.macports.org/>
Ports system for macOS