[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:  assigned
 Priority:  Normal        |  Milestone:
Component:  ports         |    Version:  2.8.1
 Keywords:  powerpc       |       Port:  z3
--------------------------+----------------------
 {{{
 :info:build [840/844] : && /opt/local/bin/g++-mp-12 -pipe -DNDEBUG
 -isystem/opt/local/include/LegacySupport -I/opt/local/include
 -D_GLIBCXX_USE_CXX11_ABI=0 -Werror=odr  -O3 -DNDEBUG -arch ppc -mmacosx-
 version-min=10.6 -dynamiclib -Wl,-headerpad_max_install_names
 -Wl,-headerpad_max_install_names -L/opt/local/lib -lMacportsLegacySupport
 -compatibility_version 4.12.0 -current_version 4.12.2 -o
 libz3.4.12.2.0.dylib -install_name /opt/local/lib/libz3.4.12.dylib
 [OBJECTS]  -Wl,-rpath,/opt/local/lib  -latomic && :
 :info:build Undefined symbols:
 :info:build
 "__ZN12rewriter_tplI17elim_term_ite_cfgEC2ER11ast_managerbRS0_",
 referenced from:
 :info:build
 __ZNSt17_Function_handlerIFP25dependent_expr_simplifierR11ast_managerRK10params_refR20dependent_expr_stateEZ15install_tacticsR14tactic_managerEUlRT_RT0_RT1_E117_E9_M_invokeERKSt9_Any_dataS3_S6_S8_
 in install_tactic.cpp.o
 :info:build
 "__ZN12rewriter_tplI19ng_push_app_ite_cfgEC2ER11ast_managerbRS0_",
 referenced from:
 :info:build
 __ZNSt17_Function_handlerIFP25dependent_expr_simplifierR11ast_managerRK10params_refR20dependent_expr_stateEZ15install_tacticsR14tactic_managerEUlRT_RT0_RT1_E122_E9_M_invokeERKSt9_Any_dataS3_S6_S8_
 in install_tactic.cpp.o
 :info:build
 __ZNSt17_Function_handlerIFP25dependent_expr_simplifierR11ast_managerRK10params_refR20dependent_expr_stateEZ15install_tacticsR14tactic_managerEUlRT_RT0_RT1_E121_E9_M_invokeERKSt9_Any_dataS3_S6_S8_
 in install_tactic.cpp.o
 :info:build
 "__ZN12rewriter_tplI16push_app_ite_cfgEC2ER11ast_managerbRS0_", referenced
 from:
 :info:build
 __ZNSt17_Function_handlerIFP25dependent_expr_simplifierR11ast_managerRK10params_refR20dependent_expr_stateEZ15install_tacticsR14tactic_managerEUlRT_RT0_RT1_E120_E9_M_invokeERKSt9_Any_dataS3_S6_S8_
 in install_tactic.cpp.o
 :info:build
 __ZNSt17_Function_handlerIFP25dependent_expr_simplifierR11ast_managerRK10params_refR20dependent_expr_stateEZ15install_tacticsR14tactic_managerEUlRT_RT0_RT1_E119_E9_M_invokeERKSt9_Any_dataS3_S6_S8_
 in install_tactic.cpp.o
 :info:build
 "__ZN12rewriter_tplI15elim_bounds_cfgEC2ER11ast_managerbRS0_", referenced
 from:
 :info:build
 __ZNSt17_Function_handlerIFP25dependent_expr_simplifierR11ast_managerRK10params_refR20dependent_expr_stateEZ15install_tacticsR14tactic_managerEUlRT_RT0_RT1_E116_E9_M_invokeERKSt9_Any_dataS3_S6_S8_
 in install_tactic.cpp.o
 :info:build ld: symbol(s) not found
 :info:build collect2: error: ld returned 1 exit status
 }}}

 Issue: https://github.com/Z3Prover/z3/issues/6869

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