z3 @4.8.11_1: requires macOS 10.13

[chrstphrchvz (Christopher Chavez)]

The update to 4.8.11 appears to have dropped support for macOS 10.12: ​https://build.macports.org/builders/ports-10.12_x86_64-builder/builds/149604/steps/install-port/logs/stdio

error: 'get<unsigned int, int, ast *, symbol, zstring *, rational *, double, unsigned int>' is unavailable: introduced in macOS 10.13

I personally do not use this port, but are others interested in this port supporting macOS 10.12 (or earlier)?

[kencu (Ken)]

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.

[Wowfunhappy (Jonathan)]

I can confirm that a combination of adding:

PortGroup           legacysupport 1.1

and

if {${os.major} <= 16 } {
    configure.cxxflags-append -nostdinc++ -I${prefix}/include/libcxx/v1
    configure.ldflags-append  -L${prefix}/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?

[chrstphrchvz (Christopher Chavez)]

Likely fixed by [0be989ef28/macports-ports]. This ticket can be closed.