[MacPorts] #68001: z3 fails at linking on PPC: Undefined symbols: "__ZN12rewriter_tplI17elim_term_ite_cfgEC2ER11ast_managerbRS0_" etc.

[MacPorts]

#68001: z3 fails at linking on PPC: Undefined symbols:
"__ZN12rewriter_tplI17elim_term_ite_cfgEC2ER11ast_managerbRS0_" etc.
---------------------------+---------------------
  Reporter:  barracuda156  |      Owner:  landonf
      Type:  defect        |     Status:  closed
  Priority:  Normal        |  Milestone:
 Component:  ports         |    Version:  2.8.1
Resolution:  fixed         |   Keywords:  powerpc
      Port:  z3            |
---------------------------+---------------------
Changes (by barracuda156):

 * status:  assigned => closed
 * resolution:   => fixed


Comment:

 In [changeset:"3ad54b3dcc2ab79a7a3eacd64f1ac0e12ba5a344/macports-ports"
 3ad54b3dcc2ab79a7a3eacd64f1ac0e12ba5a344/macports-ports] (master):
 {{{
 #!ConfigurableCommitTicketReference repository="macports-ports"
 revision="3ad54b3dcc2ab79a7a3eacd64f1ac0e12ba5a344"
 z3: unbreak the build

 Fixes: https://trac.macports.org/ticket/68001
 See: https://github.com/Z3Prover/z3/issues/6869
 }}}

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