Created attachment 197368 [details] patch USES=compiler:c++11-lang is required to build this port on architectures that still use base GCC. Tested on amd64 and powerpc64.
A commit references this bug: Author: arrowd Date: Sat Sep 22 20:31:22 UTC 2018 New revision: 480432 URL: https://svnweb.freebsd.org/changeset/ports/480432 Log: math/z3: Add compiler:c++11-lang to USES. PR: 231604 Submitted by: Piotr Kubaj <pkubaj@anongoth.pl> Approved by: tcberner (mentor) Changes: head/math/z3/Makefile