[MacPorts] #63158: z3 @4.8.11_1: requires macOS 10.13
MacPorts
noreply at macports.org
Wed Jun 30 22:12:35 UTC 2021
#63158: z3 @4.8.11_1: requires macOS 10.13
---------------------------+----------------------
Reporter: chrstphrchvz | Owner: landonf
Type: defect | Status: assigned
Priority: Normal | Milestone:
Component: ports | Version: 2.7.1
Resolution: | Keywords:
Port: z3 |
---------------------------+----------------------
Comment (by kencu):
macports-libc++ would likely be the solution, if anyone wants to try it.
chris added some easy options to the legacysupport PG to make using
macports-libc++ even simpler perhaps.
--
Ticket URL: <https://trac.macports.org/ticket/63158#comment:1>
MacPorts <https://www.macports.org/>
Ports system for macOS
More information about the macports-tickets
mailing list