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

MacPorts noreply at macports.org
Sat Sep 21 08:26:08 UTC 2024


#70852: z3: Build error using macports-clang-19 on macOS15
---------------------------+------------------------------------
  Reporter:  cjones051073  |      Owner:  Chris Jones <jonesc@…>
      Type:  defect        |     Status:  closed
  Priority:  Normal        |  Milestone:
 Component:  ports         |    Version:
Resolution:  fixed         |   Keywords:
      Port:  z3            |
---------------------------+------------------------------------
Changes (by Chris Jones <jonesc@…>):

 * status:  new => closed
 * owner:  (none) => Chris Jones <jonesc@…>
 * resolution:   => fixed


Comment:

 In [changeset:"909e52571eaea4139100ea3a5de785cc3e3fb594/macports-ports"
 909e52571eaea4139100ea3a5de785cc3e3fb594/macports-ports] (master):
 {{{
 #!ConfigurableCommitTicketReference repository="macports-ports"
 revision="909e52571eaea4139100ea3a5de785cc3e3fb594"
 z3: blacklist macports-clang-19
 Closes: https://trac.macports.org/ticket/70852
 }}}

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


More information about the macports-tickets mailing list