Opened 3 years ago

Closed 3 years ago

#63158 closed defect (fixed)

z3 @4.8.11_1: requires macOS 10.13

Reported by: chrstphrchvz (Christopher Chavez) Owned by: landonf (Landon Fuller)
Priority: Normal Milestone:
Component: ports Version: 2.7.1
Keywords: Cc:
Port: z3

Description

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)?

Attachments (1)

z3-legacy-fix.diff (217 bytes) - added by Wowfunhappy (Jonathan) 3 years ago.

Download all attachments as: .zip

Change History (5)

comment:1 Changed 3 years ago by 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.

comment:2 Changed 3 years ago by Wowfunhappy (Jonathan)

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?

Version 0, edited 3 years ago by Wowfunhappy (Jonathan) (next)

Changed 3 years ago by Wowfunhappy (Jonathan)

Attachment: z3-legacy-fix.diff added

comment:3 Changed 3 years ago by chrstphrchvz (Christopher Chavez)

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

comment:4 Changed 3 years ago by neverpanic (Clemens Lang)

Resolution: fixed
Status: assignedclosed
Note: See TracTickets for help on using tickets.