[ 84%] Building CXX object src/muz/rel/CMakeFiles/rel.dir/dl_mk_similarity_compressor.cpp.o [ 84%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_proof_utils.cpp.o [ 84%] Building CXX object src/muz/rel/CMakeFiles/rel.dir/dl_mk_simple_joins.cpp.o [ 84%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_unsat_core_learner.cpp.o [ 84%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_unsat_core_plugin.cpp.o [ 84%] Building CXX object src/muz/rel/CMakeFiles/rel.dir/dl_product_relation.cpp.o [ 84%] Building CXX object src/muz/rel/CMakeFiles/rel.dir/dl_relation_manager.cpp.o [ 84%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_matrix.cpp.o [ 84%] Building CXX object src/muz/rel/CMakeFiles/rel.dir/dl_sieve_relation.cpp.o [ 84%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_antiunify.cpp.o [ 84%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_mev_array.cpp.o [ 85%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_qe_project.cpp.o [ 85%] Building CXX object src/muz/rel/CMakeFiles/rel.dir/dl_sparse_table.cpp.o [ 85%] Building CXX object src/muz/rel/CMakeFiles/rel.dir/dl_table.cpp.o [ 85%] Building CXX object src/muz/rel/CMakeFiles/rel.dir/dl_table_relation.cpp.o [ 85%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_sem_matcher.cpp.o [ 85%] Building CXX object src/muz/rel/CMakeFiles/rel.dir/doc.cpp.o [ 85%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_quant_generalizer.cpp.o [ 85%] Building CXX object src/muz/rel/CMakeFiles/rel.dir/karr_relation.cpp.o /home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/src/muz/spacer/spacer_sem_matcher.cpp: In member function 'bool spacer::sem_matcher::operator()(expr*, expr*, substitution&, bool&)': /home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/src/muz/spacer/spacer_sem_matcher.cpp:87:49: warning: unused variable 'e3' [-Wunused-variable] 87 | expr *e1 = nullptr, *e2 = nullptr, *e3 = nullptr, *e4 = nullptr, *e5 = nullptr; | ^~ /home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/src/muz/spacer/spacer_sem_matcher.cpp:87:64: warning: unused variable 'e4' [-Wunused-variable] 87 | expr *e1 = nullptr, *e2 = nullptr, *e3 = nullptr, *e4 = nullptr, *e5 = nullptr; | ^~ /home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/src/muz/spacer/spacer_sem_matcher.cpp:87:79: warning: unused variable 'e5' [-Wunused-variable] 87 | expr *e1 = nullptr, *e2 = nullptr, *e3 = nullptr, *e4 = nullptr, *e5 = nullptr; | ^~ [ 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_arith_generalizers.cpp.o [ 86%] Building CXX object src/muz/rel/CMakeFiles/rel.dir/udoc_relation.cpp.o [ 86%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_global_generalizer.cpp.o [ 86%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_ind_lemma_generalizer.cpp.o [ 86%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_expand_bnd_generalizer.cpp.o In file included from /home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/src/muz/spacer/spacer_global_generalizer.h:22, from /home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/src/muz/spacer/spacer_global_generalizer.cpp:19: /home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/src/muz/spacer/spacer_convex_closure.h: In member function 'void spacer::lemma_global_generalizer::subsumer::setup_cvx_closure(spacer::convex_closure&, const spacer::lemma_cluster&)': /home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/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/autobuild/run/instance-2/output-1/build/z3-4.11.2/src/muz/spacer/spacer_global_generalizer.cpp:223:14: note: 'bv_width' was declared here 223 | unsigned bv_width; | ^~~~~~~~ [ 86%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_cluster.cpp.o make[3]: Leaving directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' [ 86%] Built target rel [ 86%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_callback.cpp.o make[3]: Entering directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' make[3]: Leaving directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' make[3]: Entering directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' [ 86%] Building CXX object src/muz/ddnf/CMakeFiles/ddnf.dir/ddnf.cpp.o [ 86%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_iuc_proof.cpp.o /home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/src/muz/spacer/spacer_cluster.cpp: In member function 'void spacer::lemma_cluster_finder::cluster(spacer::lemma_ref&)': /home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/src/muz/spacer/spacer_cluster.cpp:381:27: warning: loop variable 'l' of type 'const lemma_ref&' {aka 'const ref&'} binds to a temporary constructed from type 'spacer::lemma* const' [-Wrange-loop-construct] 381 | for (const lemma_ref &l : neighbours) { | ^ /home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/src/muz/spacer/spacer_cluster.cpp:381:27: note: use non-reference type 'const lemma_ref' {aka 'const ref'} to make the copy explicit or 'spacer::lemma* const&' to prevent copying /home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/src/muz/spacer/spacer_cluster.cpp:383:14: warning: unused variable 'added' [-Wunused-variable] 383 | bool added = cluster->add_lemma(l, false); | ^~~~~ [ 87%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_mbc.cpp.o [ 87%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_pdr.cpp.o [ 87%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_sat_answer.cpp.o make[3]: Leaving directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' [ 87%] Built target ddnf [ 87%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_concretize.cpp.o [ 87%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_convex_closure.cpp.o [ 87%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_conjecture.cpp.o [ 87%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_arith_kernel.cpp.o /home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/src/muz/spacer/spacer_convex_closure.cpp:34:6: warning: 'bool {anonymous}::is_sorted(const vector&)' defined but not used [-Wunused-function] 34 | bool is_sorted(const vector &data) { | ^~~~~~~~~ /home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/src/muz/spacer/spacer_convex_closure.cpp:25:6: warning: 'bool {anonymous}::is_int_matrix(const spacer::spacer_matrix&)' defined but not used [-Wunused-function] 25 | bool is_int_matrix(const spacer::spacer_matrix &matrix) { | ^~~~~~~~~~~~~ make[3]: Leaving directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' [ 87%] Built target spacer make[3]: Entering directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' make[3]: Leaving directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' make[3]: Entering directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' [ 87%] Building CXX object src/muz/fp/CMakeFiles/fp.dir/datalog_parser.cpp.o [ 87%] Building CXX object src/muz/fp/CMakeFiles/fp.dir/dl_cmds.cpp.o [ 89%] Building CXX object src/muz/fp/CMakeFiles/fp.dir/dl_register_engine.cpp.o [ 89%] Building CXX object src/muz/fp/CMakeFiles/fp.dir/horn_tactic.cpp.o make[3]: Leaving directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' [ 89%] Built target fp make[3]: Entering directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' [ 89%] Generating "/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build/src/tactic/smtlogics/qfufbv_tactic_params.hpp" from "qfufbv_tactic_params.pyg" INFO:root:Using /home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/src/tactic/smtlogics/qfufbv_tactic_params.pyg INFO:root:Generated "/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build/src/tactic/smtlogics/qfufbv_tactic_params.hpp" make[3]: Leaving directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' make[3]: Entering directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/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/qfauflia_tactic.cpp.o [ 89%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfbv_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/qfidl_tactic.cpp.o [ 89%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qflia_tactic.cpp.o [ 89%] 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/qfnia_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/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' [ 90%] Built target smtlogic_tactics make[3]: Entering directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' make[3]: Entering directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' [ 90%] Generating "/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build/src/opt/opt_params.hpp" from "opt_params.pyg" make[3]: Leaving directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' make[3]: Entering directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' [ 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/qffp_tactic.cpp.o [ 90%] Building CXX object src/tactic/fpa/CMakeFiles/fpa_tactics.dir/fpa2bv_model_converter.cpp.o INFO:root:Using /home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/src/opt/opt_params.pyg INFO:root:Generated "/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build/src/opt/opt_params.hpp" make[3]: Leaving directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' make[3]: Entering directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' [ 90%] Building CXX object src/opt/CMakeFiles/opt.dir/maxcore.cpp.o [ 90%] Building CXX object src/opt/CMakeFiles/opt.dir/maxlex.cpp.o [ 91%] Building CXX object src/opt/CMakeFiles/opt.dir/maxsmt.cpp.o [ 91%] Building CXX object src/tactic/fpa/CMakeFiles/fpa_tactics.dir/qffplra_tactic.cpp.o make[3]: Leaving directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' [ 91%] Built target fpa_tactics [ 91%] Building CXX object src/opt/CMakeFiles/opt.dir/opt_cmds.cpp.o make[3]: Entering directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' make[3]: Leaving directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' make[3]: Entering directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' [ 91%] Building CXX object src/tactic/portfolio/CMakeFiles/portfolio.dir/default_tactic.cpp.o [ 91%] Building CXX object src/opt/CMakeFiles/opt.dir/opt_context.cpp.o [ 91%] Building CXX object src/tactic/portfolio/CMakeFiles/portfolio.dir/smt_strategic_solver.cpp.o [ 91%] Building CXX object src/opt/CMakeFiles/opt.dir/opt_cores.cpp.o [ 91%] Building CXX object src/tactic/portfolio/CMakeFiles/portfolio.dir/solver2lookahead.cpp.o [ 91%] Building CXX object src/tactic/portfolio/CMakeFiles/portfolio.dir/solver_subsumption_tactic.cpp.o [ 91%] Building CXX object src/opt/CMakeFiles/opt.dir/opt_lns.cpp.o make[3]: Leaving directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' [ 91%] Built target portfolio [ 91%] Building CXX object src/opt/CMakeFiles/opt.dir/opt_pareto.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_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 [ 92%] Building CXX object src/opt/CMakeFiles/opt.dir/pb_sls.cpp.o [ 92%] Building CXX object src/opt/CMakeFiles/opt.dir/sortmax.cpp.o [ 92%] Building CXX object src/opt/CMakeFiles/opt.dir/totalizer.cpp.o [ 92%] Building CXX object src/opt/CMakeFiles/opt.dir/wmax.cpp.o make[3]: Leaving directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' [ 92%] Built target opt make[3]: Entering directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' [ 92%] Generating api_commands.cpp;api_log_macros.cpp;api_log_macros.h Faking emission of 'z3/z3core.py' Generated '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build/src/api/api_log_macros.h' Generated '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build/src/api/api_log_macros.cpp' Generated '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build/src/api/api_commands.cpp' Generated '6' make[3]: Leaving directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' make[3]: Entering directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/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_ast.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_map.cpp.o [ 92%] 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_config_params.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_datalog.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_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_log.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_numeral.cpp.o [ 95%] Building CXX object src/api/CMakeFiles/api.dir/api_opt.cpp.o [ 95%] 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 [ 96%] Building CXX object src/api/CMakeFiles/api.dir/api_special_relations.cpp.o [ 96%] 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 make[3]: Leaving directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' [ 96%] Built target api make[3]: Entering directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' [ 96%] Generating "/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build/src/api/dll/install_tactic.cpp" make[3]: Entering directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' [ 96%] Generating "/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build/src/api/dll/mem_initializer.cpp" [ 96%] Generating "/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build/src/api/dll/gparams_register_modules.cpp" [ 97%] Generating "/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build/src/shell/mem_initializer.cpp" INFO:root:Generated "/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build/src/api/dll/mem_initializer.cpp" INFO:root:Generated "/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build/src/shell/mem_initializer.cpp" INFO:root:Generated "/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build/src/api/dll/gparams_register_modules.cpp" [ 97%] Generating "/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build/src/shell/gparams_register_modules.cpp" INFO:root:Generated "/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build/src/api/dll/install_tactic.cpp" [ 97%] Generating "/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build/src/shell/install_tactic.cpp" make[3]: Leaving directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' make[3]: Entering directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' [ 97%] Building CXX object src/api/dll/CMakeFiles/api_dll.dir/dll.cpp.o [ 98%] Building CXX object src/api/dll/CMakeFiles/api_dll.dir/gparams_register_modules.cpp.o [ 98%] Building CXX object src/api/dll/CMakeFiles/api_dll.dir/install_tactic.cpp.o INFO:root:Generated "/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build/src/shell/gparams_register_modules.cpp" INFO:root:Generated "/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build/src/shell/install_tactic.cpp" [ 98%] Building CXX object src/api/dll/CMakeFiles/api_dll.dir/mem_initializer.cpp.o make[3]: Leaving directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' make[3]: Entering directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' [ 98%] Building CXX object src/shell/CMakeFiles/shell.dir/datalog_frontend.cpp.o [ 98%] Building CXX object src/shell/CMakeFiles/shell.dir/dimacs_frontend.cpp.o [ 98%] Building CXX object src/shell/CMakeFiles/shell.dir/drat_frontend.cpp.o make[3]: Leaving directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' [ 98%] Built target api_dll [ 98%] Building CXX object src/shell/CMakeFiles/shell.dir/gparams_register_modules.cpp.o make[3]: Entering directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' make[3]: Leaving directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' make[3]: Entering directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' [ 98%] Linking CXX shared library ../libz3.so [ 98%] Building CXX object src/shell/CMakeFiles/shell.dir/install_tactic.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/opt_frontend.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 make[3]: Leaving directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' [100%] Built target libz3 [100%] Building CXX object src/shell/CMakeFiles/shell.dir/lp_frontend.cpp.o [100%] Linking CXX executable ../../z3 make[3]: Leaving directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' [100%] Built target shell make[2]: Leaving directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' make[1]: Leaving directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' >>> z3 4.11.2 Installing to staging directory PATH="/home/buildroot/autobuild/run/instance-2/output-1/host/bin:/home/buildroot/autobuild/run/instance-2/output-1/host/sbin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/snap/bin" /usr/bin/make -j4 DESTDIR=/home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot install/fast -C /home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2//buildroot-build make[1]: Entering directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' Install the project... -- Install configuration: "Release" -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot/usr/lib/cmake/z3/Z3Targets.cmake -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot/usr/lib/cmake/z3/Z3Targets-release.cmake -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot/usr/lib/cmake/z3/Z3Config.cmake -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot/usr/lib/cmake/z3/Z3ConfigVersion.cmake -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot/usr/lib/pkgconfig/z3.pc -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot/usr/lib/libz3.so.4.11.2.0 -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot/usr/lib/libz3.so.4.11 -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot/usr/lib/libz3.so -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot/usr/include/z3_algebraic.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot/usr/include/z3_api.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot/usr/include/z3_ast_containers.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot/usr/include/z3_fixedpoint.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot/usr/include/z3_fpa.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot/usr/include/z3.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot/usr/include/z3++.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot/usr/include/z3_macros.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot/usr/include/z3_optimization.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot/usr/include/z3_polynomial.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot/usr/include/z3_rcf.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot/usr/include/z3_v1.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot/usr/include/z3_spacer.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot/usr/include/z3_version.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot/usr/bin/z3 make[1]: Leaving directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' >>> z3 4.11.2 Fixing libtool files for la in $(find /home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot/usr/lib* -name "*.la"); do \ cp -a "${la}" "${la}.fixed" && \ /bin/sed -i -e "s:/home/buildroot/autobuild/run/instance-2/output-1:@BASE_DIR@:g" \ -e "s:/home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot:@STAGING_DIR@:g" \ -e "s:/home/buildroot/autobuild/run/instance-2/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/autobuild/run/instance-2/output-1/host/opt/ext-toolchain:g" \ -e "s:@STAGING_DIR@:/home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot:g" \ -e "s:@BASE_DIR@:/home/buildroot/autobuild/run/instance-2/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.11.2 Installing to target PATH="/home/buildroot/autobuild/run/instance-2/output-1/host/bin:/home/buildroot/autobuild/run/instance-2/output-1/host/sbin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/snap/bin" /usr/bin/make -j4 DESTDIR=/home/buildroot/autobuild/run/instance-2/output-1/target install/fast -C /home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2//buildroot-build make[1]: Entering directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' Install the project... -- Install configuration: "Release" -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/target/usr/lib/cmake/z3/Z3Targets.cmake -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/target/usr/lib/cmake/z3/Z3Targets-release.cmake -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/target/usr/lib/cmake/z3/Z3Config.cmake -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/target/usr/lib/cmake/z3/Z3ConfigVersion.cmake -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/target/usr/lib/pkgconfig/z3.pc -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/target/usr/lib/libz3.so.4.11.2.0 -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/target/usr/lib/libz3.so.4.11 -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/target/usr/lib/libz3.so -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/target/usr/include/z3_algebraic.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/target/usr/include/z3_api.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/target/usr/include/z3_ast_containers.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/target/usr/include/z3_fixedpoint.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/target/usr/include/z3_fpa.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/target/usr/include/z3.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/target/usr/include/z3++.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/target/usr/include/z3_macros.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/target/usr/include/z3_optimization.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/target/usr/include/z3_polynomial.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/target/usr/include/z3_rcf.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/target/usr/include/z3_v1.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/target/usr/include/z3_spacer.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/target/usr/include/z3_version.h -- Installing: /home/buildroot/autobuild/run/instance-2/output-1/target/usr/bin/z3 make[1]: Leaving directory '/home/buildroot/autobuild/run/instance-2/output-1/build/z3-4.11.2/buildroot-build' >>> Finalizing host directory >>> Finalizing target directory mkdir -p /home/buildroot/autobuild/run/instance-2/output-1/host/etc/meson sed -e "s%@TARGET_CFLAGS@%'-D_LARGEFILE_SOURCE', '-D_LARGEFILE64_SOURCE', '-D_FILE_OFFSET_BITS=64', '-Os', '-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', '-Os', '-g0', '-D_FORTIFY_SOURCE=1'@PKG_TARGET_CXXFLAGS@%g" -e "s%@TARGET_FCFLAGS@%'-Os', '-g0'@PKG_TARGET_FCFLAGS@%g" -e "s%@TARGET_CC@%/home/buildroot/autobuild/run/instance-2/output-1/host/bin/riscv32-linux-gcc%g" -e "s%@TARGET_CXX@%/home/buildroot/autobuild/run/instance-2/output-1/host/bin/riscv32-linux-g++%g" -e "s%@TARGET_AR@%/home/buildroot/autobuild/run/instance-2/output-1/host/bin/riscv32-linux-gcc-ar%g" -e "s%@TARGET_FC@%/home/buildroot/autobuild/run/instance-2/output-1/host/bin/riscv32-linux-gfortran%g" -e "s%@TARGET_STRIP@%/home/buildroot/autobuild/run/instance-2/output-1/host/bin/riscv32-linux-strip%g" -e "s%@TARGET_ARCH@%riscv32%g" -e "s%@TARGET_CPU@%%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/autobuild/run/instance-2/output-1/host/bin/cmake%g" -e "s%@PKGCONF_HOST_BINARY@%/home/buildroot/autobuild/run/instance-2/output-1/host/bin/pkgconf%g" -e "s%@HOST_DIR@%/home/buildroot/autobuild/run/instance-2/output-1/host%g" -e "s%@STAGING_DIR@%/home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot%g" -e "s%@STATIC@%false%g" /home/buildroot/autobuild/run/instance-2/buildroot/support/misc/cross-compilation.conf.in > /home/buildroot/autobuild/run/instance-2/output-1/host/etc/meson/cross-compilation.conf.in sed -e "s%@TARGET_CC@%/home/buildroot/autobuild/run/instance-2/output-1/host/bin/riscv32-linux-gcc%g" -e "s%@TARGET_CXX@%/home/buildroot/autobuild/run/instance-2/output-1/host/bin/riscv32-linux-g++%g" -e "s%@TARGET_AR@%/home/buildroot/autobuild/run/instance-2/output-1/host/bin/riscv32-linux-gcc-ar%g" -e "s%@TARGET_FC@%/home/buildroot/autobuild/run/instance-2/output-1/host/bin/riscv32-linux-gfortran%g" -e "s%@TARGET_STRIP@%/home/buildroot/autobuild/run/instance-2/output-1/host/bin/riscv32-linux-strip%g" -e "s%@TARGET_ARCH@%riscv32%g" -e "s%@TARGET_CPU@%%g" -e "s%@TARGET_ENDIAN@%little%g" -e "s%@TARGET_FCFLAGS@%'-Os', '-g0'%g" -e "s%@TARGET_CFLAGS@%'-D_LARGEFILE_SOURCE', '-D_LARGEFILE64_SOURCE', '-D_FILE_OFFSET_BITS=64', '-Os', '-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', '-Os', '-g0', '-D_FORTIFY_SOURCE=1'%g" -e "s%@BR2_CMAKE@%/home/buildroot/autobuild/run/instance-2/output-1/host/bin/cmake%g" -e "s%@PKGCONF_HOST_BINARY@%/home/buildroot/autobuild/run/instance-2/output-1/host/bin/pkgconf%g" -e "s%@HOST_DIR@%/home/buildroot/autobuild/run/instance-2/output-1/host%g" -e "s%@STAGING_DIR@%/home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot%g" -e "s%@STATIC@%false%g" /home/buildroot/autobuild/run/instance-2/buildroot/support/misc/cross-compilation.conf.in > /home/buildroot/autobuild/run/instance-2/output-1/host/etc/meson/cross-compilation.conf rm -rf /home/buildroot/autobuild/run/instance-2/output-1/target/usr/lib/perl5/5.34.1/pod rm -rf /home/buildroot/autobuild/run/instance-2/output-1/target/usr/lib/perl5/5.34.1/riscv32-linux/CORE find /home/buildroot/autobuild/run/instance-2/output-1/target/usr/lib/perl5/ -name 'extralibs.ld' -print0 | xargs -0 rm -f find /home/buildroot/autobuild/run/instance-2/output-1/target/usr/lib/perl5/ -name '*.bs' -print0 | xargs -0 rm -f find /home/buildroot/autobuild/run/instance-2/output-1/target/usr/lib/perl5/ -name '.packlist' -print0 | xargs -0 rm -f mkdir -p /home/buildroot/autobuild/run/instance-2/output-1/target/etc echo "buildroot" > /home/buildroot/autobuild/run/instance-2/output-1/target/etc/hostname /bin/sed -i -e '$a \127.0.1.1\tbuildroot' -e '/^127.0.1.1/d' /home/buildroot/autobuild/run/instance-2/output-1/target/etc/hosts mkdir -p /home/buildroot/autobuild/run/instance-2/output-1/target/etc echo "Welcome to Buildroot" > /home/buildroot/autobuild/run/instance-2/output-1/target/etc/issue /bin/sed -i -e s,^root:[^:]*:,root::, /home/buildroot/autobuild/run/instance-2/output-1/target/etc/shadow rm -f /home/buildroot/autobuild/run/instance-2/output-1/target/bin/sh printf '%s\n' C en_US locale-archive > /home/buildroot/autobuild/run/instance-2/output-1/build/locales.nopurge for dir in /home/buildroot/autobuild/run/instance-2/output-1/target/usr/share/locale /home/buildroot/autobuild/run/instance-2/output-1/target/usr/share/X11/locale /home/buildroot/autobuild/run/instance-2/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/autobuild/run/instance-2/output-1/build/locales.nopurge || rm -rf $langdir; fi done; done if [ -d /home/buildroot/autobuild/run/instance-2/output-1/target/usr/share/X11/locale ]; then for lang in C en_US; do if [ -f /home/buildroot/autobuild/run/instance-2/output-1/target/usr/share/X11/locale/$lang/XLC_LOCALE ]; then echo "$lang/XLC_LOCALE: $lang"; fi done > /home/buildroot/autobuild/run/instance-2/output-1/target/usr/share/X11/locale/locale.dir; fi rm -rf /home/buildroot/autobuild/run/instance-2/output-1/target/usr/include /home/buildroot/autobuild/run/instance-2/output-1/target/usr/share/aclocal \ /home/buildroot/autobuild/run/instance-2/output-1/target/usr/lib/pkgconfig /home/buildroot/autobuild/run/instance-2/output-1/target/usr/share/pkgconfig \ /home/buildroot/autobuild/run/instance-2/output-1/target/usr/lib/cmake /home/buildroot/autobuild/run/instance-2/output-1/target/usr/share/cmake \ /home/buildroot/autobuild/run/instance-2/output-1/target/usr/lib/rpm /home/buildroot/autobuild/run/instance-2/output-1/target/usr/doc find /home/buildroot/autobuild/run/instance-2/output-1/target/usr/{lib,share}/ -name '*.cmake' -print0 | xargs -0 rm -f find /home/buildroot/autobuild/run/instance-2/output-1/target/lib/ /home/buildroot/autobuild/run/instance-2/output-1/target/usr/lib/ /home/buildroot/autobuild/run/instance-2/output-1/target/usr/libexec/ \ \( -name '*.a' -o -name '*.la' -o -name '*.prl' \) -print0 | xargs -0 rm -f find: '/home/buildroot/autobuild/run/instance-2/output-1/target/usr/libexec/': No such file or directory rm -rf /home/buildroot/autobuild/run/instance-2/output-1/target/usr/share/gdb rm -rf /home/buildroot/autobuild/run/instance-2/output-1/target/usr/share/bash-completion rm -rf /home/buildroot/autobuild/run/instance-2/output-1/target/etc/bash_completion.d rm -rf /home/buildroot/autobuild/run/instance-2/output-1/target/usr/share/zsh rm -rf /home/buildroot/autobuild/run/instance-2/output-1/target/usr/man /home/buildroot/autobuild/run/instance-2/output-1/target/usr/share/man rm -rf /home/buildroot/autobuild/run/instance-2/output-1/target/usr/info /home/buildroot/autobuild/run/instance-2/output-1/target/usr/share/info rm -rf /home/buildroot/autobuild/run/instance-2/output-1/target/usr/doc /home/buildroot/autobuild/run/instance-2/output-1/target/usr/share/doc rm -rf /home/buildroot/autobuild/run/instance-2/output-1/target/usr/share/gtk-doc rmdir /home/buildroot/autobuild/run/instance-2/output-1/target/usr/share 2>/dev/null || true rm -rf /home/buildroot/autobuild/run/instance-2/output-1/target/lib/debug /home/buildroot/autobuild/run/instance-2/output-1/target/usr/lib/debug find /home/buildroot/autobuild/run/instance-2/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/autobuild/run/instance-2/output-1/host/bin/riscv32-linux-strip --remove-section=.comment --remove-section=.note 2>/dev/null || true find /home/buildroot/autobuild/run/instance-2/output-1/target \( -name 'ld-*.so*' -o -name 'libpthread*.so*' \) -print0 | xargs -0 -r /home/buildroot/autobuild/run/instance-2/output-1/host/bin/riscv32-linux-strip --remove-section=.comment --remove-section=.note --strip-debug 2>/dev/null || true test -f /home/buildroot/autobuild/run/instance-2/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/autobuild/run/instance-2/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/autobuild/run/instance-2/output-1/target/etc ( \ echo "NAME=Buildroot"; \ echo "VERSION=2022.11-751-g6f02b4ba5d"; \ echo "ID=buildroot"; \ echo "VERSION_ID=2023.02-git"; \ echo "PRETTY_NAME=\"Buildroot 2023.02-git\"" \ ) > /home/buildroot/autobuild/run/instance-2/output-1/target/usr/lib/os-release ln -sf ../usr/lib/os-release /home/buildroot/autobuild/run/instance-2/output-1/target/etc >>> Sanitizing RPATH in target tree PER_PACKAGE_DIR=/home/buildroot/autobuild/run/instance-2/output-1/per-package /home/buildroot/autobuild/run/instance-2/buildroot/support/scripts/fix-rpath target touch /home/buildroot/autobuild/run/instance-2/output-1/target/usr ln -snf /home/buildroot/autobuild/run/instance-2/output-1/host/riscv32-buildroot-linux-gnu/sysroot /home/buildroot/autobuild/run/instance-2/output-1/staging make: Leaving directory '/home/buildroot/autobuild/run/instance-2/buildroot' make: Entering directory '/home/buildroot/autobuild/run/instance-2/buildroot' >>> Buildroot 2022.11-751-g6f02b4ba5d Collecting legal info COPYING: OK (sha256: 9755181e27175cb3510b4da8629caa406fb355a19aa8e7d55f06bf8ab33323c4) >>> toolchain-external Collecting legal info >>> host-skeleton Collecting legal info >>> skeleton Collecting legal info >>> skeleton-init-none Collecting legal info >>> skeleton-init-common Collecting legal info >>> toolchain-external-bootlin 2021.11-1 Collecting legal info >>> toolchain Collecting legal info >>> host-cmake 3.22.3 Collecting legal info Copyright.txt: OK (sha256: f1a4326266aada65b307dac05161a9d02d3dba4fb08b50cb26e3c24cc8a86e97) >>> collectl 4.3.2 Collecting legal info COPYING: OK (sha256: 264fe27852db5624e6a9a9845b4e14e91ee5007305b33e5556dfade394d578a8) ARTISTIC: OK (sha256: b92800d37afa2aa03c02817ff3b68efc7236436fe76af06ad9b1fc4682f59bcb) GPL: OK (sha256: ab15fd526bd8dd18a9e77ebc139656bf4d33e97fc7238cd11bf60e2b9b8666c6) >>> flex 2.6.4 Collecting legal info COPYING: OK (sha256: 97fd685958d93be7f8dab939bb8161dbd6afb0718c63bfc337c24321aea44273) >>> host-autoconf 2.71 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-m4 1.4.19 Collecting legal info COPYING: OK (sha256: 3972dc9744f6499f0f9b2dbf76696f2ae7ad8af9b23dde66d6af86c9dfb36986) >>> host-automake 1.16.5 Collecting legal info COPYING: OK (sha256: ab15fd526bd8dd18a9e77ebc139656bf4d33e97fc7238cd11bf60e2b9b8666c6) >>> host-gettext Collecting legal info >>> host-gettext-gnu 0.20.1 Collecting legal info COPYING: OK (sha256: e79e9c8a0c85d735ff98185918ec94ed7d175efc377012787aebcf3b80f0d90b) gettext-runtime/intl/COPYING.LIB: OK (sha256: 3fe5361f24b7c49ba12911c08f5a33f9cb18871d95d9fb881f5b8a4793e04288) >>> host-libtextstyle 0.20.1 Collecting legal info COPYING: OK (sha256: e79e9c8a0c85d735ff98185918ec94ed7d175efc377012787aebcf3b80f0d90b) >>> host-libxml2 2.10.3 Collecting legal info Copyright: OK (sha256: c5c63674f8a83c4d2e385d96d1c670a03cb871ba2927755467017317878574bd) >>> host-pkgconf 1.6.3 Collecting legal info COPYING: OK (sha256: 07ee94b50a41ee3fc4e13a9b9c60b26fc28488494c465639f7e5f07a3952ec04) >>> igd2-for-linux 2.2 Collecting legal info linuxigd2/doc/LICENSE: OK (sha256: 204d8eff92f95aac4df6c8122bc1505f468f3a901e5a4cc08940e0ede1938994) linuxigd2/src/threadutil/COPYING: OK (sha256: c8b99423cad48bb44e2cf52a496361404290865eac259a82da6d1e4331ececb3) >>> libupnp 1.14.13 Collecting legal info COPYING: OK (sha256: c8b99423cad48bb44e2cf52a496361404290865eac259a82da6d1e4331ececb3) >>> openssl Collecting legal info >>> libopenssl 1.1.1q Collecting legal info LICENSE: OK (sha256: c32913b33252e71190af2066f08115c69bc9fddadf3bf29296e20c835389841c) >>> zlib Collecting legal info >>> libzlib 1.2.13 Collecting legal info LICENSE: OK (sha256: 845efc77857d485d91fb3e0b884aaa929368c717ae8186b66fe1ed2495753243) >>> iptables 1.8.8 Collecting legal info COPYING: OK (sha256: 8177f97513213526df2cf6184d8ff986c675afb514d4e68a404010521b880643) >>> jansson 2.14 Collecting legal info LICENSE: OK (sha256: 1fff7d37d22157bcd81ab53b6c54da755d7c2f868f15807d9bde920f10730da0) >>> lcms2 2.14 Collecting legal info COPYING: OK (sha256: 46d4e05af3bce75332a12d01f19bcce7e32b6bac544be28a64043d0231291e31) >>> libcuefile 475 Collecting legal info COPYING: OK (sha256: 32b1062f7da84967e7019d01ab805935caa7ab7321a7ced0e30ebe75e5df1670) >>> libdvdcss 1.4.3 Collecting legal info COPYING: OK (sha256: 8177f97513213526df2cf6184d8ff986c675afb514d4e68a404010521b880643) >>> libdvdnav 6.1.1 Collecting legal info COPYING: OK (sha256: 32b1062f7da84967e7019d01ab805935caa7ab7321a7ced0e30ebe75e5df1670) >>> libdvdread 6.1.3 Collecting legal info COPYING: OK (sha256: d6cb0e9e560f51085556949a84af12b79a00f10ab8b66c752537faf7cd665572) >>> libuv 1.44.2 Collecting legal info LICENSE: OK (sha256: 95b8b163c60d17cfce3cef61a2d8a9cf70137502c8fb5f3d93cd2fc529fa98c8) >>> linux-pam 1.5.2 Collecting legal info Copyright: OK (sha256: 133d98e7a2ab3ffd330b4debb0bfc10fea21e4b2b5a5b09de2e924293be5ff08) >>> host-flex 2.6.4 Collecting legal info COPYING: OK (sha256: 97fd685958d93be7f8dab939bb8161dbd6afb0718c63bfc337c24321aea44273) >>> mawk 1.3.4-20200120 Collecting legal info COPYING: OK (sha256: 8177f97513213526df2cf6184d8ff986c675afb514d4e68a404010521b880643) >>> mbedtls 2.28.2 Collecting legal info LICENSE: OK (sha256: cfc7749b96f63bd31c3c42b5c471bf756814053e847c10f3eb003417bc523d30) >>> mtdev 1.1.6 Collecting legal info COPYING: OK (sha256: 795bfe74daae59a97d3a0c8ec0ba0f08c243adf94a3aa7981a4136fce31d55b4) >>> ncftp 3.2.6 Collecting legal info doc/LICENSE.txt: OK (sha256: 4fe2f063d25d79c49712a272ebb68e050c703eed9c66c80108427edfe3285580) >>> open-isns 0.102 Collecting legal info COPYING: OK (sha256: 00a89b0d18aacd4114decf79122db87bf35bddaf2bc50e383c9c9f4c263390b2) >>> host-meson 1.0.0 Collecting legal info COPYING: OK (sha256: cfc7749b96f63bd31c3c42b5c471bf756814053e847c10f3eb003417bc523d30) >>> host-ninja 1.11.1.g95dee.kitware.jobserver-1 Collecting legal info COPYING: OK (sha256: eb7e9ab9690124c5c9f42bdc81383d886a3dede26345b6ed15bbad7caf81f7ea) >>> host-python-setuptools 65.6.3 Collecting legal info LICENSE: OK (sha256: db3f0246b1f9278f15845b99fec478b8b506eb76487993722f8c6e254285faf8) >>> host-python3 3.11.1 Collecting legal info LICENSE: OK (sha256: d4a223f033419313218c9b8444167e91e87a5bebdb43fb8490df441df5220a8b) >>> host-autoconf-archive 2022.09.03 Collecting legal info COPYING: OK (sha256: e6037104443f9a7829b2aa7c5370d0789a7bda3ca65a0b904cdc0c2e285d9195) COPYING.EXCEPTION: OK (sha256: 23ed0b84fa023bfa33433b498192cd08a3bfb1f4864a8ed791a84f3eb48b2dd2) >>> host-expat 2.5.0 Collecting legal info COPYING: OK (sha256: 122f2c27000472a201d337b9b31f7eb2b52d091b02857061a8880371612d9534) >>> host-libffi 3.4.4 Collecting legal info LICENSE: OK (sha256: 2c9c2acb9743e6b007b91350475308aee44691d96aa20eacef8e199988c8c388) >>> host-zlib Collecting legal info >>> host-libzlib 1.2.13 Collecting legal info LICENSE: OK (sha256: 845efc77857d485d91fb3e0b884aaa929368c717ae8186b66fe1ed2495753243) >>> opentyrian-data 2.1 Collecting legal info >>> opentyrian cf5dbeb69eebd9ef9afc4473088d9469b79589eb Collecting legal info COPYING: OK (sha256: ab15fd526bd8dd18a9e77ebc139656bf4d33e97fc7238cd11bf60e2b9b8666c6) >>> sdl 1.2.15 Collecting legal info COPYING: OK (sha256: bb117c0fbd7f57f64170b690285d7df07c2371b578e3b3cd3aa2e1155ef461a0) >>> host-patchelf 0.13 Collecting legal info COPYING: OK (sha256: 8ceb4b9ee5adedde47b31e975c1d90c73ad27b6b165a1dcd80c7c545eb65b903) >>> perl 5.34.1 Collecting legal info Artistic: OK (sha256: dd90d4f42e4dcadf5a7c09eea0189d93c7b37ae560c91f0f6d5233ed3b9292a2) Copying: OK (sha256: d77d235e41d54594865151f4751e835c5a82322b0e87ace266567c3391a4b912) README: OK (sha256: 06bab256e2e039c59d2ca3c5853425317b4a0f251fe4e5d5201a987b11fc4f78) >>> pimd 2.3.2 Collecting legal info LICENSE: OK (sha256: 3379436c16caccdef9b40a49fbdfdbb45aad8ecb05870834490b8fb080126009) LICENSE.mrouted: OK (sha256: 4328a21f0822caa9976356623118bcdcc9970c7a0f9a3deeba23c779b7cfb5d1) >>> ramspeed 2.6.0 Collecting legal info LICENCE: OK (sha256: 2c308cffbab01762f8f6b11725725a227080746ef865f2756c9c9e1591dddaad) >>> sdl_mixer d1725fcb7c4e987aeb7ecdc94cb8b6375b702170 Collecting legal info COPYING: OK (sha256: bc4c3bc32b311044d81c32b5e5402a6bc971a3b235850bb63445ec14bb6fe59e) >>> slang 2.3.3 Collecting legal info COPYING: OK (sha256: ff05a90962e7773f8bdc47b2a9585130526039102759b524c1dffbd57cfe469b) >>> wampcc 1.6 Collecting legal info LICENSE: OK (sha256: bd185b1ec8a292d42b42346757ff6e198073e13c1e080e9ea548d34dd42d30d8) >>> z3 4.11.2 Collecting legal info LICENSE.txt: OK (sha256: e617cad2ab9347e3129c2b171e87909332174e17961c5c3412d0799469111337) WARNING: the Buildroot source code has not been saved WARNING: toolchain-external-bootlin-2021.11-1: cannot save license (TOOLCHAIN_EXTERNAL_BOOTLIN_LICENSE_FILES not defined) WARNING: opentyrian-data-2.1: cannot save license (OPENTYRIAN_DATA_LICENSE_FILES not defined) Legal info produced in /home/buildroot/autobuild/run/instance-2/output-1/legal-info make: Leaving directory '/home/buildroot/autobuild/run/instance-2/buildroot'