[MacPorts] #70852: z3: Build error using macports-clang-19 on macOS15

[MacPorts]

#70852: z3: Build error using macports-clang-19 on macOS15
---------------------------+--------------------
  Reporter:  cjones051073  |      Owner:  (none)
      Type:  defect        |     Status:  new
  Priority:  Normal        |  Milestone:
 Component:  ports         |    Version:
Resolution:                |   Keywords:
      Port:  z3            |
---------------------------+--------------------
Changes (by cjones051073):

 * Attachment "main.log" added.


-- 
Ticket URL: <https://trac.macports.org/ticket/70852>
MacPorts <https://www.macports.org/>
Ports system for macOS