[MacPorts] #63158: z3 @4.8.11_1: requires macOS 10.13

[MacPorts]

#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 Wowfunhappy):

 I can confirm that a combination of adding:

 {{{
 PortGroup           legacysupport 1.1
 }}}

 and

 {{{
 if {${os.major} <= 16 } {
     configure.cxxflags-append -nostdinc++ -I/opt/local/include/libcxx/v1
     configure.ldflags-append  -L/opt/local/lib/libcxx
 }
 }}}

 Allowed z3 to compile in 10.9.

 Merely adding the legacysupport portgroup and `legacysupport.use_mp_libcxx
 true` did not work without the configure flags; not sure if it was
 supposed to or if I did that right?

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