[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