[MacPorts] #65408: z3 @4.8.17: +polly requires macports-clang-12 or later (incompatible compiler selected)

MacPorts noreply at macports.org
Fri Jul 1 22:45:28 UTC 2022


#65408: z3 @4.8.17: +polly requires macports-clang-12 or later (incompatible
compiler selected)
-------------------------+-----------------------
  Reporter:  cave-canem  |      Owner:  (none)
      Type:  defect      |     Status:  closed
  Priority:  Normal      |  Milestone:
 Component:  ports       |    Version:  2.7.2
Resolution:  invalid     |   Keywords:  Mavericks
      Port:  z3          |
-------------------------+-----------------------
Changes (by kencu):

 * status:  new => closed
 * resolution:   => invalid


Comment:

 let's close this given the above. If cave-canem's custom mods are removed
 and there is still a problem, then reopen with a new log and we'll see .

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


More information about the macports-tickets mailing list