[ 85%] Building CXX object src/muz/rel/CMakeFiles/rel.dir/dl_sieve_relation.cpp.o make[3]: Leaving directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [ 85%] Built target tab [ 86%] Building CXX object src/muz/rel/CMakeFiles/rel.dir/dl_sparse_table.cpp.o [ 86%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_util.cpp.o [ 86%] Building CXX object src/muz/rel/CMakeFiles/rel.dir/dl_table.cpp.o make[3]: Leaving directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [ 86%] Built target bmc [ 86%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_cluster_util.cpp.o [ 86%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_iuc_solver.cpp.o [ 86%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_legacy_mbp.cpp.o [ 86%] Building CXX object src/muz/rel/CMakeFiles/rel.dir/dl_table_relation.cpp.o [ 86%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_proof_utils.cpp.o [ 86%] Building CXX object src/muz/rel/CMakeFiles/rel.dir/doc.cpp.o [ 86%] Building CXX object src/muz/rel/CMakeFiles/rel.dir/karr_relation.cpp.o [ 86%] Building CXX object src/muz/rel/CMakeFiles/rel.dir/rel_context.cpp.o [ 86%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_unsat_core_learner.cpp.o [ 87%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_unsat_core_plugin.cpp.o [ 87%] Building CXX object src/muz/rel/CMakeFiles/rel.dir/udoc_relation.cpp.o [ 87%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_matrix.cpp.o [ 87%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_antiunify.cpp.o [ 87%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_mev_array.cpp.o [ 87%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_qe_project.cpp.o [ 87%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_sem_matcher.cpp.o [ 87%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_quant_generalizer.cpp.o [ 87%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_arith_generalizers.cpp.o [ 87%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_global_generalizer.cpp.o [ 87%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_ind_lemma_generalizer.cpp.o [ 89%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_expand_bnd_generalizer.cpp.o [ 89%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_cluster.cpp.o [ 89%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_callback.cpp.o [ 89%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_iuc_proof.cpp.o [ 89%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_mbc.cpp.o [ 89%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_pdr.cpp.o [ 89%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_sat_answer.cpp.o [ 89%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_concretize.cpp.o [ 89%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_convex_closure.cpp.o [ 89%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_conjecture.cpp.o [ 89%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_arith_kernel.cpp.o make[3]: Leaving directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [ 89%] Built target rel make[3]: Entering directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' make[3]: Leaving directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' make[3]: Entering directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [ 89%] Building CXX object src/muz/ddnf/CMakeFiles/ddnf.dir/ddnf.cpp.o In file included from /home/buildroot/instance-0/output-1/build/z3-4.13.0/src/muz/spacer/spacer_global_generalizer.h:22, from /home/buildroot/instance-0/output-1/build/z3-4.13.0/src/muz/spacer/spacer_global_generalizer.cpp:19: In member function 'void spacer::convex_closure::set_bv(unsigned int)', inlined from 'void spacer::lemma_global_generalizer::subsumer::setup_cvx_closure(spacer::convex_closure&, const spacer::lemma_cluster&)' at /home/buildroot/instance-0/output-1/build/z3-4.13.0/src/muz/spacer/spacer_global_generalizer.cpp:228:18: /home/buildroot/instance-0/output-1/build/z3-4.13.0/src/muz/spacer/spacer_convex_closure.h:140:17: warning: 'bv_width' may be used uninitialized [-Wmaybe-uninitialized] 140 | m_bv_sz = sz; | ~~~~~~~~^~~~ /home/buildroot/instance-0/output-1/build/z3-4.13.0/src/muz/spacer/spacer_global_generalizer.cpp: In member function 'void spacer::lemma_global_generalizer::subsumer::setup_cvx_closure(spacer::convex_closure&, const spacer::lemma_cluster&)': /home/buildroot/instance-0/output-1/build/z3-4.13.0/src/muz/spacer/spacer_global_generalizer.cpp:226:14: note: 'bv_width' was declared here 226 | unsigned bv_width; | ^~~~~~~~ make[3]: Leaving directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [ 89%] Built target spacer make[3]: Leaving directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [ 89%] Built target ddnf make[3]: Entering directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' make[3]: Leaving directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' make[3]: Entering directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [ 89%] Building CXX object src/muz/fp/CMakeFiles/fp.dir/datalog_parser.cpp.o [ 89%] Building CXX object src/muz/fp/CMakeFiles/fp.dir/dl_cmds.cpp.o [ 89%] Building CXX object src/muz/fp/CMakeFiles/fp.dir/horn_tactic.cpp.o [ 89%] Building CXX object src/muz/fp/CMakeFiles/fp.dir/dl_register_engine.cpp.o make[3]: Leaving directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [ 89%] Built target fp make[3]: Entering directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [ 89%] Generating "/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build/src/tactic/smtlogics/qfufbv_tactic_params.hpp" from "qfufbv_tactic_params.pyg" INFO:root:Using /home/buildroot/instance-0/output-1/build/z3-4.13.0/src/tactic/smtlogics/qfufbv_tactic_params.pyg INFO:root:Generated "/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build/src/tactic/smtlogics/qfufbv_tactic_params.hpp" make[3]: Leaving directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' make[3]: Entering directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [ 89%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/nra_tactic.cpp.o [ 89%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfaufbv_tactic.cpp.o [ 89%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfauflia_tactic.cpp.o [ 90%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfbv_tactic.cpp.o [ 90%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfidl_tactic.cpp.o [ 90%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qflia_tactic.cpp.o [ 90%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfnia_tactic.cpp.o [ 90%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qflra_tactic.cpp.o [ 90%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfnra_tactic.cpp.o [ 90%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfufbv_ackr_model_converter.cpp.o [ 90%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfufbv_tactic.cpp.o [ 90%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfuf_tactic.cpp.o [ 90%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/quant_tactics.cpp.o [ 90%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/smt_tactic.cpp.o make[3]: Leaving directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [ 90%] Built target smtlogic_tactics make[3]: Entering directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' make[3]: Entering directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [ 90%] Generating "/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build/src/opt/opt_params.hpp" from "opt_params.pyg" make[3]: Leaving directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' make[3]: Entering directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [ 90%] Building CXX object src/tactic/fpa/CMakeFiles/fpa_tactics.dir/fpa2bv_model_converter.cpp.o [ 90%] Building CXX object src/tactic/fpa/CMakeFiles/fpa_tactics.dir/qffp_tactic.cpp.o [ 90%] Building CXX object src/tactic/fpa/CMakeFiles/fpa_tactics.dir/fpa2bv_tactic.cpp.o [ 90%] Building CXX object src/tactic/fpa/CMakeFiles/fpa_tactics.dir/qffplra_tactic.cpp.o INFO:root:Using /home/buildroot/instance-0/output-1/build/z3-4.13.0/src/opt/opt_params.pyg INFO:root:Generated "/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build/src/opt/opt_params.hpp" make[3]: Leaving directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' make[3]: Entering directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [ 90%] Building CXX object src/opt/CMakeFiles/opt.dir/maxlex.cpp.o [ 90%] Building CXX object src/opt/CMakeFiles/opt.dir/maxcore.cpp.o [ 90%] Building CXX object src/opt/CMakeFiles/opt.dir/opt_cmds.cpp.o [ 90%] Building CXX object src/opt/CMakeFiles/opt.dir/maxsmt.cpp.o [ 90%] Building CXX object src/opt/CMakeFiles/opt.dir/opt_context.cpp.o [ 90%] Building CXX object src/opt/CMakeFiles/opt.dir/opt_cores.cpp.o [ 90%] Building CXX object src/opt/CMakeFiles/opt.dir/opt_lns.cpp.o [ 91%] Building CXX object src/opt/CMakeFiles/opt.dir/opt_parse.cpp.o [ 91%] Building CXX object src/opt/CMakeFiles/opt.dir/opt_pareto.cpp.o [ 91%] Building CXX object src/opt/CMakeFiles/opt.dir/opt_preprocess.cpp.o [ 91%] Building CXX object src/opt/CMakeFiles/opt.dir/optsmt.cpp.o [ 91%] Building CXX object src/opt/CMakeFiles/opt.dir/opt_solver.cpp.o [ 91%] Building CXX object src/opt/CMakeFiles/opt.dir/pb_sls.cpp.o [ 91%] Building CXX object src/opt/CMakeFiles/opt.dir/sortmax.cpp.o [ 91%] Building CXX object src/opt/CMakeFiles/opt.dir/totalizer.cpp.o [ 91%] Building CXX object src/opt/CMakeFiles/opt.dir/wmax.cpp.o make[3]: Leaving directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [ 91%] Built target fpa_tactics make[3]: Entering directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' make[3]: Leaving directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' make[3]: Entering directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [ 91%] Building CXX object src/tactic/portfolio/CMakeFiles/portfolio.dir/default_tactic.cpp.o [ 91%] Building CXX object src/tactic/portfolio/CMakeFiles/portfolio.dir/smt_strategic_solver.cpp.o [ 92%] Building CXX object src/tactic/portfolio/CMakeFiles/portfolio.dir/solver2lookahead.cpp.o [ 92%] Building CXX object src/tactic/portfolio/CMakeFiles/portfolio.dir/solver_subsumption_tactic.cpp.o make[3]: Leaving directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [ 92%] Built target portfolio make[3]: Leaving directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [ 92%] Built target opt make[3]: Entering directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [ 92%] Generating api_commands.cpp;api_log_macros.cpp;api_log_macros.h Faking emission of 'z3/z3core.py' Generated '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build/src/api/api_log_macros.h' Generated '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build/src/api/api_log_macros.cpp' Generated '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build/src/api/api_commands.cpp' Generated '6' make[3]: Leaving directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' make[3]: Entering directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [ 92%] Building CXX object src/api/CMakeFiles/api.dir/api_algebraic.cpp.o [ 92%] Building CXX object src/api/CMakeFiles/api.dir/api_arith.cpp.o [ 92%] Building CXX object src/api/CMakeFiles/api.dir/api_array.cpp.o [ 92%] Building CXX object src/api/CMakeFiles/api.dir/api_ast.cpp.o [ 92%] Building CXX object src/api/CMakeFiles/api.dir/api_ast_map.cpp.o [ 93%] Building CXX object src/api/CMakeFiles/api.dir/api_datalog.cpp.o [ 93%] Building CXX object src/api/CMakeFiles/api.dir/api_config_params.cpp.o [ 93%] Building CXX object src/api/CMakeFiles/api.dir/api_ast_vector.cpp.o [ 93%] Building CXX object src/api/CMakeFiles/api.dir/api_bv.cpp.o [ 93%] Building CXX object src/api/CMakeFiles/api.dir/api_datatype.cpp.o [ 93%] Building CXX object src/api/CMakeFiles/api.dir/api_context.cpp.o [ 93%] Building CXX object src/api/CMakeFiles/api.dir/api_fpa.cpp.o [ 93%] Building CXX object src/api/CMakeFiles/api.dir/api_goal.cpp.o [ 93%] Building CXX object src/api/CMakeFiles/api.dir/api_model.cpp.o [ 93%] Building CXX object src/api/CMakeFiles/api.dir/api_log.cpp.o [ 93%] Building CXX object src/api/CMakeFiles/api.dir/api_numeral.cpp.o [ 93%] Building CXX object src/api/CMakeFiles/api.dir/api_opt.cpp.o [ 93%] Building CXX object src/api/CMakeFiles/api.dir/api_params.cpp.o [ 95%] Building CXX object src/api/CMakeFiles/api.dir/api_parsers.cpp.o [ 95%] Building CXX object src/api/CMakeFiles/api.dir/api_pb.cpp.o [ 95%] Building CXX object src/api/CMakeFiles/api.dir/api_polynomial.cpp.o [ 95%] Building CXX object src/api/CMakeFiles/api.dir/api_qe.cpp.o [ 95%] Building CXX object src/api/CMakeFiles/api.dir/api_quant.cpp.o [ 95%] Building CXX object src/api/CMakeFiles/api.dir/api_rcf.cpp.o [ 95%] Building CXX object src/api/CMakeFiles/api.dir/api_seq.cpp.o [ 95%] Building CXX object src/api/CMakeFiles/api.dir/api_solver.cpp.o [ 95%] Building CXX object src/api/CMakeFiles/api.dir/api_special_relations.cpp.o [ 95%] Building CXX object src/api/CMakeFiles/api.dir/api_stats.cpp.o [ 96%] Building CXX object src/api/CMakeFiles/api.dir/api_tactic.cpp.o [ 96%] Building CXX object src/api/CMakeFiles/api.dir/z3_replayer.cpp.o [ 96%] Building CXX object src/api/CMakeFiles/api.dir/api_commands.cpp.o [ 96%] Building CXX object src/api/CMakeFiles/api.dir/api_log_macros.cpp.o In file included from /home/buildroot/instance-0/output-1/build/z3-4.13.0/src/solver/check_sat_result.h:26, from /home/buildroot/instance-0/output-1/build/z3-4.13.0/src/solver/solver.h:22, from /home/buildroot/instance-0/output-1/build/z3-4.13.0/src/smt/smt_kernel.h:34, from /home/buildroot/instance-0/output-1/build/z3-4.13.0/src/api/api_context.h:36, from /home/buildroot/instance-0/output-1/build/z3-4.13.0/src/api/api_solver.cpp:28: /home/buildroot/instance-0/output-1/build/z3-4.13.0/src/ast/converters/model_converter.h:81:18: warning: 'virtual void model_converter::operator()(labels_vec&)' was hidden [-Woverloaded-virtual=] 81 | virtual void operator()(labels_vec & r) {} | ^~~~~~~~ In file included from /home/buildroot/instance-0/output-1/build/z3-4.13.0/src/api/api_solver.cpp:45: /home/buildroot/instance-0/output-1/build/z3-4.13.0/src/sat/tactic/sat2goal.h:58:14: note: by 'sat2goal::mc::operator()' 58 | void operator()(expr_ref& fml) override; | ^~~~~~~~ make[3]: Leaving directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [ 96%] Built target api make[3]: Entering directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [ 96%] Generating "/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build/src/api/dll/mem_initializer.cpp" [ 96%] Generating "/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build/src/api/dll/gparams_register_modules.cpp" make[3]: Entering directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [ 96%] Generating "/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build/src/api/dll/install_tactic.cpp" [ 97%] Generating "/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build/src/shell/mem_initializer.cpp" [ 97%] Generating "/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build/src/shell/gparams_register_modules.cpp" [ 97%] Generating "/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build/src/shell/install_tactic.cpp" INFO:root:Generated "/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build/src/api/dll/mem_initializer.cpp" INFO:root:Generated "/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build/src/shell/mem_initializer.cpp" INFO:root:Generated "/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build/src/api/dll/gparams_register_modules.cpp" INFO:root:Generated "/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build/src/shell/gparams_register_modules.cpp" INFO:root:Generated "/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build/src/api/dll/install_tactic.cpp" INFO:root:Generated "/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build/src/shell/install_tactic.cpp" make[3]: Leaving directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' make[3]: Leaving directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' make[3]: Entering directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [ 97%] Building CXX object src/api/dll/CMakeFiles/api_dll.dir/dll.cpp.o [ 97%] Building CXX object src/api/dll/CMakeFiles/api_dll.dir/gparams_register_modules.cpp.o [ 97%] Building CXX object src/api/dll/CMakeFiles/api_dll.dir/install_tactic.cpp.o make[3]: Entering directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [ 98%] Building CXX object src/api/dll/CMakeFiles/api_dll.dir/mem_initializer.cpp.o [ 98%] Building CXX object src/shell/CMakeFiles/shell.dir/dimacs_frontend.cpp.o [ 98%] Building CXX object src/shell/CMakeFiles/shell.dir/datalog_frontend.cpp.o [ 98%] Building CXX object src/shell/CMakeFiles/shell.dir/drat_frontend.cpp.o [ 98%] Building CXX object src/shell/CMakeFiles/shell.dir/gparams_register_modules.cpp.o [ 98%] Building CXX object src/shell/CMakeFiles/shell.dir/install_tactic.cpp.o [ 98%] Building CXX object src/shell/CMakeFiles/shell.dir/opt_frontend.cpp.o [ 98%] Building CXX object src/shell/CMakeFiles/shell.dir/main.cpp.o [ 98%] Building CXX object src/shell/CMakeFiles/shell.dir/mem_initializer.cpp.o [ 98%] Building CXX object src/shell/CMakeFiles/shell.dir/smtlib_frontend.cpp.o [100%] Building CXX object src/shell/CMakeFiles/shell.dir/z3_log_frontend.cpp.o In file included from /home/buildroot/instance-0/output-1/build/z3-4.13.0/src/tactic/goal.h:37, from /home/buildroot/instance-0/output-1/build/z3-4.13.0/src/sat/tactic/goal2sat.h:31, from /home/buildroot/instance-0/output-1/build/z3-4.13.0/src/shell/dimacs_frontend.cpp:28: /home/buildroot/instance-0/output-1/build/z3-4.13.0/src/ast/converters/model_converter.h:81:18: warning: 'virtual void model_converter::operator()(labels_vec&)' was hidden [-Woverloaded-virtual=] 81 | virtual void operator()(labels_vec & r) {} | ^~~~~~~~ In file included from /home/buildroot/instance-0/output-1/build/z3-4.13.0/src/shell/dimacs_frontend.cpp:29: /home/buildroot/instance-0/output-1/build/z3-4.13.0/src/sat/tactic/sat2goal.h:58:14: note: by 'sat2goal::mc::operator()' 58 | void operator()(expr_ref& fml) override; | ^~~~~~~~ make[3]: Leaving directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [100%] Built target api_dll make[3]: Entering directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' make[3]: Leaving directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' make[3]: Entering directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [100%] Linking CXX shared library ../libz3.so [100%] Linking CXX executable ../../z3 make[3]: Leaving directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [100%] Built target libz3 make[3]: Leaving directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' [100%] Built target shell make[2]: Leaving directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' make[1]: Leaving directory '/home/buildroot/instance-0/output-1/build/z3-4.13.0/buildroot-build' >>> z3 4.13.0 Installing to staging directory GIT_DIR=. PATH="/home/buildroot/instance-0/output-1/host/bin:/home/buildroot/instance-0/output-1/host/sbin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" DESTDIR=/home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot /home/buildroot/instance-0/output-1/host/bin/cmake --install /home/buildroot/instance-0/output-1/build/z3-4.13.0//buildroot-build -- Install configuration: "Release" -- Installing: /home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/lib/libz3.so.4.13.0.0 -- Installing: /home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/lib/libz3.so.4.13 -- Installing: /home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/lib/libz3.so -- Installing: /home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3_algebraic.h -- Installing: /home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3_api.h -- Installing: /home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3_ast_containers.h -- Installing: /home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3_fixedpoint.h -- Installing: /home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3_fpa.h -- Installing: /home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3.h -- Installing: /home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3++.h -- Installing: /home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3_macros.h -- Installing: /home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3_optimization.h -- Installing: /home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3_polynomial.h -- Installing: /home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3_rcf.h -- Installing: /home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3_v1.h -- Installing: /home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3_spacer.h -- Installing: /home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3_version.h -- Installing: /home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/bin/z3 -- Installing: /home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/lib/cmake/z3/Z3Targets.cmake -- Installing: /home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/lib/cmake/z3/Z3Targets-release.cmake -- Installing: /home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/lib/cmake/z3/Z3Config.cmake -- Installing: /home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/lib/cmake/z3/Z3ConfigVersion.cmake -- Installing: /home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/lib/pkgconfig/z3.pc >>> z3 4.13.0 Fixing libtool files for la in $(find /home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/lib* -name "*.la"); do \ cp -a "${la}" "${la}.fixed" && \ /bin/sed -i -e "s:/home/buildroot/instance-0/output-1:@BASE_DIR@:g" \ -e "s:/home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot:@STAGING_DIR@:g" \ -e "s:/home/buildroot/instance-0/output-1/host/opt/ext-toolchain:@TOOLCHAIN_EXTERNAL_INSTALL_DIR@:g" \ -e "s:\(['= ]\)/usr:\\1@STAGING_DIR@/usr:g" \ -e "s:\(['= ]\)/lib:\\1@STAGING_DIR@/lib:g" \ -e "s:@TOOLCHAIN_EXTERNAL_INSTALL_DIR@:/home/buildroot/instance-0/output-1/host/opt/ext-toolchain:g" \ -e "s:@STAGING_DIR@:/home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot:g" \ -e "s:@BASE_DIR@:/home/buildroot/instance-0/output-1:g" \ "${la}.fixed" && \ if cmp -s "${la}" "${la}.fixed"; then \ rm -f "${la}.fixed"; \ else \ mv "${la}.fixed" "${la}"; \ fi || exit 1; \ done >>> z3 4.13.0 Installing to target GIT_DIR=. PATH="/home/buildroot/instance-0/output-1/host/bin:/home/buildroot/instance-0/output-1/host/sbin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" DESTDIR=/home/buildroot/instance-0/output-1/target /home/buildroot/instance-0/output-1/host/bin/cmake --install /home/buildroot/instance-0/output-1/build/z3-4.13.0//buildroot-build -- Install configuration: "Release" -- Installing: /home/buildroot/instance-0/output-1/target/usr/lib/libz3.so.4.13.0.0 -- Installing: /home/buildroot/instance-0/output-1/target/usr/lib/libz3.so.4.13 -- Installing: /home/buildroot/instance-0/output-1/target/usr/lib/libz3.so -- Installing: /home/buildroot/instance-0/output-1/target/usr/include/z3_algebraic.h -- Installing: /home/buildroot/instance-0/output-1/target/usr/include/z3_api.h -- Installing: /home/buildroot/instance-0/output-1/target/usr/include/z3_ast_containers.h -- Installing: /home/buildroot/instance-0/output-1/target/usr/include/z3_fixedpoint.h -- Installing: /home/buildroot/instance-0/output-1/target/usr/include/z3_fpa.h -- Installing: /home/buildroot/instance-0/output-1/target/usr/include/z3.h -- Installing: /home/buildroot/instance-0/output-1/target/usr/include/z3++.h -- Installing: /home/buildroot/instance-0/output-1/target/usr/include/z3_macros.h -- Installing: /home/buildroot/instance-0/output-1/target/usr/include/z3_optimization.h -- Installing: /home/buildroot/instance-0/output-1/target/usr/include/z3_polynomial.h -- Installing: /home/buildroot/instance-0/output-1/target/usr/include/z3_rcf.h -- Installing: /home/buildroot/instance-0/output-1/target/usr/include/z3_v1.h -- Installing: /home/buildroot/instance-0/output-1/target/usr/include/z3_spacer.h -- Installing: /home/buildroot/instance-0/output-1/target/usr/include/z3_version.h -- Installing: /home/buildroot/instance-0/output-1/target/usr/bin/z3 -- Installing: /home/buildroot/instance-0/output-1/target/usr/lib/cmake/z3/Z3Targets.cmake -- Installing: /home/buildroot/instance-0/output-1/target/usr/lib/cmake/z3/Z3Targets-release.cmake -- Installing: /home/buildroot/instance-0/output-1/target/usr/lib/cmake/z3/Z3Config.cmake -- Installing: /home/buildroot/instance-0/output-1/target/usr/lib/cmake/z3/Z3ConfigVersion.cmake -- Installing: /home/buildroot/instance-0/output-1/target/usr/lib/pkgconfig/z3.pc >>> Finalizing host directory >>> Finalizing target directory mkdir -p /home/buildroot/instance-0/output-1/host/etc/meson sed -e "s%@TARGET_CFLAGS@%'-D_LARGEFILE_SOURCE', '-D_LARGEFILE64_SOURCE', '-D_FILE_OFFSET_BITS=64', '-O2', '-g0', '-D_FORTIFY_SOURCE=1'@PKG_TARGET_CFLAGS@%g" -e "s%@TARGET_LDFLAGS@%@PKG_TARGET_LDFLAGS@%g" -e "s%@TARGET_CXXFLAGS@%'-D_LARGEFILE_SOURCE', '-D_LARGEFILE64_SOURCE', '-D_FILE_OFFSET_BITS=64', '-O2', '-g0', '-D_FORTIFY_SOURCE=1'@PKG_TARGET_CXXFLAGS@%g" -e "s%@TARGET_FCFLAGS@%'-O2', '-g0'@PKG_TARGET_FCFLAGS@%g" -e "s%@TARGET_CC@%/home/buildroot/instance-0/output-1/host/bin/arm-linux-gcc%g" -e "s%@TARGET_CXX@%/home/buildroot/instance-0/output-1/host/bin/arm-linux-g++%g" -e "s%@TARGET_AR@%/home/buildroot/instance-0/output-1/host/bin/arm-linux-gcc-ar%g" -e "s%@TARGET_FC@%/home/buildroot/instance-0/output-1/host/bin/arm-linux-gfortran%g" -e "s%@TARGET_STRIP@%/home/buildroot/instance-0/output-1/host/bin/arm-linux-strip%g" -e "s%@TARGET_ARCH@%arm%g" -e "s%@TARGET_CPU@%cortex-a9%g" -e "s%@TARGET_ENDIAN@%little%g" -e "s%@TARGET_FCFLAGS@%%g" -e "s%@TARGET_CFLAGS@%%g" -e "s%@TARGET_LDFLAGS@%%g" -e "s%@TARGET_CXXFLAGS@%%g" -e "s%@BR2_CMAKE@%/home/buildroot/instance-0/output-1/host/bin/cmake%g" -e "s%@PKGCONF_HOST_BINARY@%/home/buildroot/instance-0/output-1/host/bin/pkgconf%g" -e "s%@HOST_DIR@%/home/buildroot/instance-0/output-1/host%g" -e "s%@STAGING_DIR@%/home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot%g" -e "s%@STATIC@%false%g" /home/buildroot/instance-0/buildroot/support/misc/cross-compilation.conf.in > /home/buildroot/instance-0/output-1/host/etc/meson/cross-compilation.conf.in sed -e "s%@TARGET_CC@%/home/buildroot/instance-0/output-1/host/bin/arm-linux-gcc%g" -e "s%@TARGET_CXX@%/home/buildroot/instance-0/output-1/host/bin/arm-linux-g++%g" -e "s%@TARGET_AR@%/home/buildroot/instance-0/output-1/host/bin/arm-linux-gcc-ar%g" -e "s%@TARGET_FC@%/home/buildroot/instance-0/output-1/host/bin/arm-linux-gfortran%g" -e "s%@TARGET_STRIP@%/home/buildroot/instance-0/output-1/host/bin/arm-linux-strip%g" -e "s%@TARGET_ARCH@%arm%g" -e "s%@TARGET_CPU@%cortex-a9%g" -e "s%@TARGET_ENDIAN@%little%g" -e "s%@TARGET_FCFLAGS@%'-O2', '-g0'%g" -e "s%@TARGET_CFLAGS@%'-D_LARGEFILE_SOURCE', '-D_LARGEFILE64_SOURCE', '-D_FILE_OFFSET_BITS=64', '-O2', '-g0', '-D_FORTIFY_SOURCE=1'%g" -e "s%@TARGET_LDFLAGS@%%g" -e "s%@TARGET_CXXFLAGS@%'-D_LARGEFILE_SOURCE', '-D_LARGEFILE64_SOURCE', '-D_FILE_OFFSET_BITS=64', '-O2', '-g0', '-D_FORTIFY_SOURCE=1'%g" -e "s%@BR2_CMAKE@%/home/buildroot/instance-0/output-1/host/bin/cmake%g" -e "s%@PKGCONF_HOST_BINARY@%/home/buildroot/instance-0/output-1/host/bin/pkgconf%g" -e "s%@HOST_DIR@%/home/buildroot/instance-0/output-1/host%g" -e "s%@STAGING_DIR@%/home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot%g" -e "s%@STATIC@%false%g" /home/buildroot/instance-0/buildroot/support/misc/cross-compilation.conf.in > /home/buildroot/instance-0/output-1/host/etc/meson/cross-compilation.conf mkdir -p /home/buildroot/instance-0/output-1/target/etc echo "buildroot" > /home/buildroot/instance-0/output-1/target/etc/hostname /bin/sed -i -e '$a \127.0.1.1\tbuildroot' -e '/^127.0.1.1/d' /home/buildroot/instance-0/output-1/target/etc/hosts mkdir -p /home/buildroot/instance-0/output-1/target/etc echo "Welcome to Buildroot" > /home/buildroot/instance-0/output-1/target/etc/issue /bin/sed -i -e s,^root:[^:]*:,root::, /home/buildroot/instance-0/output-1/target/etc/shadow rm -f /home/buildroot/instance-0/output-1/target/bin/sh printf '%s\n' C en_US locale-archive > /home/buildroot/instance-0/output-1/build/locales.nopurge for dir in /home/buildroot/instance-0/output-1/target/usr/share/locale /home/buildroot/instance-0/output-1/target/usr/share/X11/locale /home/buildroot/instance-0/output-1/target/usr/lib/locale; do if [ ! -d $dir ]; then continue; fi; for langdir in $dir/*; do if [ -e "${langdir}" ]; then grep -qx "${langdir##*/}" /home/buildroot/instance-0/output-1/build/locales.nopurge || rm -rf $langdir; fi done; done if [ -d /home/buildroot/instance-0/output-1/target/usr/share/X11/locale ]; then for lang in C en_US; do if [ -f /home/buildroot/instance-0/output-1/target/usr/share/X11/locale/$lang/XLC_LOCALE ]; then echo "$lang/XLC_LOCALE: $lang"; fi done > /home/buildroot/instance-0/output-1/target/usr/share/X11/locale/locale.dir; fi rm -rf /home/buildroot/instance-0/output-1/target/usr/include /home/buildroot/instance-0/output-1/target/usr/share/aclocal \ /home/buildroot/instance-0/output-1/target/usr/lib/pkgconfig /home/buildroot/instance-0/output-1/target/usr/share/pkgconfig \ /home/buildroot/instance-0/output-1/target/usr/lib/cmake /home/buildroot/instance-0/output-1/target/usr/share/cmake \ /home/buildroot/instance-0/output-1/target/usr/lib/rpm /home/buildroot/instance-0/output-1/target/usr/doc find /home/buildroot/instance-0/output-1/target/usr/{lib,share}/ -name '*.cmake' -print0 | xargs -0 rm -f find /home/buildroot/instance-0/output-1/target/lib/ /home/buildroot/instance-0/output-1/target/usr/lib/ /home/buildroot/instance-0/output-1/target/usr/libexec/ \ \( -name '*.a' -o -name '*.la' -o -name '*.prl' \) -print0 | xargs -0 rm -f find: '/home/buildroot/instance-0/output-1/target/usr/libexec/': No such file or directory rm -rf /home/buildroot/instance-0/output-1/target/usr/share/gdb rm -rf /home/buildroot/instance-0/output-1/target/usr/share/bash-completion rm -rf /home/buildroot/instance-0/output-1/target/etc/bash_completion.d rm -rf /home/buildroot/instance-0/output-1/target/usr/share/zsh rm -rf /home/buildroot/instance-0/output-1/target/usr/man /home/buildroot/instance-0/output-1/target/usr/share/man rm -rf /home/buildroot/instance-0/output-1/target/usr/info /home/buildroot/instance-0/output-1/target/usr/share/info rm -rf /home/buildroot/instance-0/output-1/target/usr/doc /home/buildroot/instance-0/output-1/target/usr/share/doc rm -rf /home/buildroot/instance-0/output-1/target/usr/share/gtk-doc rmdir /home/buildroot/instance-0/output-1/target/usr/share 2>/dev/null || true rm -rf /home/buildroot/instance-0/output-1/target/lib/debug /home/buildroot/instance-0/output-1/target/usr/lib/debug find /home/buildroot/instance-0/output-1/target -type f \( -perm /111 -o -name '*.so*' \) -not \( -name 'libpthread*.so*' -o -name 'ld-*.so*' -o -name '*.ko' \) -print0 | xargs -0 /home/buildroot/instance-0/output-1/host/bin/arm-linux-strip --remove-section=.comment --remove-section=.note 2>/dev/null || true find /home/buildroot/instance-0/output-1/target \( -name 'ld-*.so*' -o -name 'libpthread*.so*' \) -print0 | xargs -0 -r /home/buildroot/instance-0/output-1/host/bin/arm-linux-strip --remove-section=.comment --remove-section=.note --strip-debug 2>/dev/null || true test -f /home/buildroot/instance-0/output-1/target/etc/ld.so.conf && \ { echo "ERROR: we shouldn't have a /etc/ld.so.conf file"; exit 1; } || true test -d /home/buildroot/instance-0/output-1/target/etc/ld.so.conf.d && \ { echo "ERROR: we shouldn't have a /etc/ld.so.conf.d directory"; exit 1; } || true mkdir -p /home/buildroot/instance-0/output-1/target/etc ( \ echo "NAME=Buildroot"; \ echo "VERSION=2024.05-1112-gd84d9241c8"; \ echo "ID=buildroot"; \ echo "VERSION_ID=2024.08-git"; \ echo "PRETTY_NAME=\"Buildroot 2024.08-git\"" \ ) > /home/buildroot/instance-0/output-1/target/usr/lib/os-release ln -sf ../usr/lib/os-release /home/buildroot/instance-0/output-1/target/etc >>> Sanitizing RPATH in target tree PARALLEL_JOBS=17 \ PER_PACKAGE_DIR=/home/buildroot/instance-0/output-1/per-package \ /home/buildroot/instance-0/buildroot/support/scripts/fix-rpath target touch /home/buildroot/instance-0/output-1/target/usr ln -snf /home/buildroot/instance-0/output-1/host/arm-buildroot-linux-gnueabihf/sysroot /home/buildroot/instance-0/output-1/staging make: Leaving directory '/home/buildroot/instance-0/buildroot' make: Entering directory '/home/buildroot/instance-0/buildroot' >>> Buildroot 2024.05-1112-gd84d9241c8 Collecting legal info COPYING: OK (sha256: 9755181e27175cb3510b4da8629caa406fb355a19aa8e7d55f06bf8ab33323c4) >>> toolchain-external Collecting legal info >>> host-skeleton Collecting legal info >>> host-tar 1.35 Collecting legal info COPYING: OK (sha256: 3972dc9744f6499f0f9b2dbf76696f2ae7ad8af9b23dde66d6af86c9dfb36986) >>> skeleton Collecting legal info >>> skeleton-init-none Collecting legal info >>> skeleton-init-common Collecting legal info >>> toolchain-external-bootlin 2024.02-1 Collecting legal info >>> toolchain Collecting legal info >>> ace 7.1.1 Collecting legal info COPYING: OK (sha256: 687bf9d16119e0caf6fb5c18214928fd6ea0da10df91e906255b7613af8061d8) >>> expat 2.6.2 Collecting legal info COPYING: OK (sha256: 122f2c27000472a201d337b9b31f7eb2b52d091b02857061a8880371612d9534) >>> fastd 22 Collecting legal info COPYRIGHT: OK (sha256: adf08b42f1b890b89e998360a864cb4f8441a0a57c9e95e2ce1bfdfc24c49976) >>> host-bison 3.8.2 Collecting legal info COPYING: OK (sha256: 3972dc9744f6499f0f9b2dbf76696f2ae7ad8af9b23dde66d6af86c9dfb36986) >>> host-m4 1.4.19 Collecting legal info COPYING: OK (sha256: 3972dc9744f6499f0f9b2dbf76696f2ae7ad8af9b23dde66d6af86c9dfb36986) >>> host-meson 1.3.1 Collecting legal info COPYING: OK (sha256: cfc7749b96f63bd31c3c42b5c471bf756814053e847c10f3eb003417bc523d30) >>> host-ninja 1.11.1.g95dee.kitware.jobserver-1 Collecting legal info COPYING: OK (sha256: eb7e9ab9690124c5c9f42bdc81383d886a3dede26345b6ed15bbad7caf81f7ea) >>> host-cmake 3.30.0 Collecting legal info Copyright.txt: OK (sha256: 0676e30827684487aa0ea8f72f01e9460a6320fa34a2888df0ad1dd3e8a06eb8) >>> host-pkgconf 1.6.3 Collecting legal info COPYING: OK (sha256: 07ee94b50a41ee3fc4e13a9b9c60b26fc28488494c465639f7e5f07a3952ec04) >>> host-python-installer 0.7.0 Collecting legal info LICENSE: OK (sha256: 37b8b9f2569892fa54406383d431169dbb2115980d78b7efba6eeae5664c484f) >>> host-python-flit-core 3.9.0 Collecting legal info LICENSE: OK (sha256: 35b4f1dec512e617077fd6980dbb43ef8c2887adc5d0185edb4c04da175dd816) >>> host-python3 3.12.4 Collecting legal info LICENSE: OK (sha256: 3b2f81fe21d181c499c59a256c8e1968455d6689d269aa85373bfb6af41da3bf) >>> host-autoconf 2.72 Collecting legal info COPYINGv3: OK (sha256: 3972dc9744f6499f0f9b2dbf76696f2ae7ad8af9b23dde66d6af86c9dfb36986) COPYING.EXCEPTION: OK (sha256: 1f1cde9fb68b9b3cff18c420894bec5bd4defacd700b7d13df54a887301e5350) >>> host-libtool 2.4.6 Collecting legal info COPYING: OK (sha256: 8177f97513213526df2cf6184d8ff986c675afb514d4e68a404010521b880643) libltdl/COPYING.LIB: OK (sha256: dc626520dcd53a22f727af3ee42c770e56c97a64fe3adb063799d8ab032fe551) >>> host-autoconf-archive 2023.02.20 Collecting legal info COPYING: OK (sha256: e6037104443f9a7829b2aa7c5370d0789a7bda3ca65a0b904cdc0c2e285d9195) COPYING.EXCEPTION: OK (sha256: 23ed0b84fa023bfa33433b498192cd08a3bfb1f4864a8ed791a84f3eb48b2dd2) >>> host-automake 1.16.5 Collecting legal info COPYING: OK (sha256: ab15fd526bd8dd18a9e77ebc139656bf4d33e97fc7238cd11bf60e2b9b8666c6) >>> host-expat 2.6.2 Collecting legal info COPYING: OK (sha256: 122f2c27000472a201d337b9b31f7eb2b52d091b02857061a8880371612d9534) >>> host-libffi 3.4.6 Collecting legal info LICENSE: OK (sha256: 67894089811f93fca47a76f85e017da6f8582d4ba0905963c6e0f1ad6df7a195) >>> host-zlib Collecting legal info >>> host-libzlib 1.3.1 Collecting legal info LICENSE: OK (sha256: 845efc77857d485d91fb3e0b884aaa929368c717ae8186b66fe1ed2495753243) >>> host-python-pypa-build 1.2.1 Collecting legal info LICENSE: OK (sha256: aaf9a29ca5907971ccf07de025375db34539a8d5eeebce20b46099805722106f) >>> host-python-packaging 24.0 Collecting legal info LICENSE: OK (sha256: cad1ef5bd340d73e074ba614d26f7deaca5c7940c3d8c34852e65c4909686c48) LICENSE.APACHE: OK (sha256: 0d542e0c8804e39aa7f37eb00da5a762149dc682d7829451287e11b938e94594) LICENSE.BSD: OK (sha256: b70e7e9b742f1cc6f948b34c16aa39ffece94196364bc88ff0d2180f0028fac5) >>> host-python-pyproject-hooks 1.0.0 Collecting legal info LICENSE: OK (sha256: 1b22b049b5267d6dfc23a67bf4a84d8ec04b9fdfb1a51d360e42b4342c8b4154) >>> host-python-setuptools 71.0.3 Collecting legal info LICENSE: OK (sha256: 86da0f01aeae46348a3c3d465195dc1ceccde79f79e87769a64b8da04b2a4741) >>> host-python-wheel 0.40.0 Collecting legal info LICENSE.txt: OK (sha256: 30c23618679108f3e8ea1d2a658c7ca417bdfc891c98ef1a89fa4ff0c9828654) >>> libsodium 1.0.18 Collecting legal info LICENSE: OK (sha256: dea1855c9809f3faf22aa4a1fba20ec8af5a5587f23115012e5b98279cedc4af) >>> libuecc 7 Collecting legal info COPYRIGHT: OK (sha256: ec4d9fcc3a37a7998a9ea4decf38f4c0c91a44fd05bb17638c52fe16f2b12e23) >>> fcgiwrap 99c942c90063c73734e56bacaa65f947772d9186 Collecting legal info COPYING: OK (sha256: 1504c301f6d417f2626085337e5c3bb3dc0282265089396ab36bfe1942feef1c) >>> libfcgi 2.4.2 Collecting legal info LICENSE.TERMS: OK (sha256: f0a8fe4513a43e8eebb24cdcf9d2e7efc52e4d8259178c6d76d3d84418397d81) >>> flex 2.6.4 Collecting legal info COPYING: OK (sha256: 97fd685958d93be7f8dab939bb8161dbd6afb0718c63bfc337c24321aea44273) >>> host-gettext Collecting legal info >>> host-gettext-gnu 0.22.4 Collecting legal info COPYING: OK (sha256: e79e9c8a0c85d735ff98185918ec94ed7d175efc377012787aebcf3b80f0d90b) gettext-runtime/intl/COPYING.LIB: OK (sha256: 3fe5361f24b7c49ba12911c08f5a33f9cb18871d95d9fb881f5b8a4793e04288) >>> host-libxml2 2.13.3 Collecting legal info Copyright: OK (sha256: c99aae1afe013e50b8b3701e089222b351258043c3025b64053a233fd25b4be7) >>> fontconfig 2.14.2 Collecting legal info COPYING: OK (sha256: 51a51aa9823704fd90bccc616cdd17ebabb5b2b3e9cbde886ca02c7002288067) >>> freetype 2.13.2 Collecting legal info LICENSE.TXT: OK (sha256: 2e3bbb7d7c5c396368dd0853a790ec29ce5b8647163dde42a0493fb0d6556b2b) docs/FTL.TXT: OK (sha256: 08c135755dd589039470f1fdbb400daaabaaa50d0b366d19cebff4d22986baa1) docs/GPLv2.TXT: OK (sha256: c4120c6752c910c299e3bd9cb3a46ff262c268303ca2069b61f92f10a5656c18) >>> host-gperf 3.1 Collecting legal info COPYING: OK (sha256: 8ceb4b9ee5adedde47b31e975c1d90c73ad27b6b165a1dcd80c7c545eb65b903) >>> util-linux 2.39.3 Collecting legal info README.licensing: OK (sha256: 13f0ea46d12d798c095a6ad39d7ddc988e2e4d274c6494115f6b463f7bc4f702) Documentation/licenses/COPYING.BSD-3-Clause: OK (sha256: 9b718a9460fed5952466421235bc79eb49d4e9eacc920d7a9dd6285ab8fd6c6d) Documentation/licenses/COPYING.BSD-4-Clause-UC: OK (sha256: ba7640f00d93e72e92b94b9d71f25ec53bac2f1682f5c4adcccb0018359f60f8) Documentation/licenses/COPYING.GPL-2.0-or-later: OK (sha256: 8177f97513213526df2cf6184d8ff986c675afb514d4e68a404010521b880643) Documentation/licenses/COPYING.ISC: OK (sha256: e53348ce276358e9997014071c5294b36a18c4b34f32f00ee57b9acce0aafd63) Documentation/licenses/COPYING.LGPL-2.1-or-later: OK (sha256: dc626520dcd53a22f727af3ee42c770e56c97a64fe3adb063799d8ab032fe551) >>> libxcrypt 4.4.36 Collecting legal info LICENSING: OK (sha256: f9b48b0bc67a92b752780710aa774cf08b62ec2ebaa3f4aebd00069fba6effd2) COPYING.LIB: OK (sha256: dc626520dcd53a22f727af3ee42c770e56c97a64fe3adb063799d8ab032fe551) >>> linux-pam 1.6.1 Collecting legal info Copyright: OK (sha256: 133d98e7a2ab3ffd330b4debb0bfc10fea21e4b2b5a5b09de2e924293be5ff08) >>> host-flex 2.6.4 Collecting legal info COPYING: OK (sha256: 97fd685958d93be7f8dab939bb8161dbd6afb0718c63bfc337c24321aea44273) >>> highway 1.2.0 Collecting legal info LICENSE: OK (sha256: 43070e2d4e532684de521b885f385d0841030efa2b1a20bafb76133a5e1379c1) LICENSE-BSD3: OK (sha256: d25e82e26acd42ca3ccc9993622631163425b869b9e16284226d534cff6470f2) >>> libnfc 1.8.0 Collecting legal info COPYING: OK (sha256: 9ccf26cfe845e0eb8bb58053e47366e7ab6b697ae010f7650978d4b71b7d1fc1) >>> libpam-nfc 64a8b30ba2cfd634342ded8c096c7cfc5c8fa22a Collecting legal info COPYING: OK (sha256: 8ceb4b9ee5adedde47b31e975c1d90c73ad27b6b165a1dcd80c7c545eb65b903) >>> libtasn1 4.19.0 Collecting legal info COPYING: OK (sha256: 7446831f659f7ebfd8d497acc7f05dfa8e31c6cb6ba1b45df33d4895ab80f5a6) doc/COPYING: OK (sha256: 8ceb4b9ee5adedde47b31e975c1d90c73ad27b6b165a1dcd80c7c545eb65b903) doc/COPYING.LESSER: OK (sha256: dc626520dcd53a22f727af3ee42c770e56c97a64fe3adb063799d8ab032fe551) >>> host-patchelf 0.13 Collecting legal info COPYING: OK (sha256: 8ceb4b9ee5adedde47b31e975c1d90c73ad27b6b165a1dcd80c7c545eb65b903) >>> pcsc-lite 2.1.0 Collecting legal info COPYING: OK (sha256: 40d4358bb8dc8d30f5365ae6d999b6f820bbc051b292912482f2e4d0ebd837e1) GPL-3.0.txt: OK (sha256: 8ceb4b9ee5adedde47b31e975c1d90c73ad27b6b165a1dcd80c7c545eb65b903) >>> ripgrep 14.1.0 Collecting legal info LICENSE-MIT: OK (sha256: 0f96a83840e146e43c0ec96a22ec1f392e0680e6c1226e6f3ba87e0740af850f) >>> host-rustc Collecting legal info >>> host-rust-bin 1.79.0 Collecting legal info LICENSE-APACHE: OK (sha256: 62c7a1e35f56406896d7aa7ca52d0cc0d272ac022b5d2796e7d6905db8a3636a) LICENSE-MIT: OK (sha256: 23f18e03dc49df91622fe2a76176497404e46ced8a715d9d2b67a7446571cca3) >>> z3 4.13.0 Collecting legal info LICENSE.txt: OK (sha256: e617cad2ab9347e3129c2b171e87909332174e17961c5c3412d0799469111337) WARNING: the Buildroot source code has not been saved WARNING: toolchain-external-bootlin-2024.02-1: cannot save license (TOOLCHAIN_EXTERNAL_BOOTLIN_LICENSE_FILES not defined) Legal info produced in /home/buildroot/instance-0/output-1/legal-info make: Leaving directory '/home/buildroot/instance-0/buildroot'