[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