[ 84%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_iuc_proof.cpp.o [ 84%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_mbc.cpp.o [ 84%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_pdr.cpp.o [ 84%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_sat_answer.cpp.o [ 84%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_concretize.cpp.o [ 84%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_convex_closure.cpp.o /home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/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/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/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) { | ^~~~~~~~~~~~~ [ 84%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_conjecture.cpp.o [ 84%] Building CXX object src/muz/spacer/CMakeFiles/spacer.dir/spacer_arith_kernel.cpp.o [ 84%] Built target spacer [ 84%] Building CXX object src/muz/fp/CMakeFiles/fp.dir/datalog_parser.cpp.o [ 84%] Building CXX object src/muz/fp/CMakeFiles/fp.dir/dl_cmds.cpp.o [ 84%] Building CXX object src/muz/fp/CMakeFiles/fp.dir/dl_register_engine.cpp.o [ 85%] Building CXX object src/muz/fp/CMakeFiles/fp.dir/horn_tactic.cpp.o [ 85%] Built target fp [ 85%] Generating "/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build/src/tactic/smtlogics/qfufbv_tactic_params.hpp" from "qfufbv_tactic_params.pyg" INFO:root:Using /home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/src/tactic/smtlogics/qfufbv_tactic_params.pyg INFO:root:Generated "/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build/src/tactic/smtlogics/qfufbv_tactic_params.hpp" [ 85%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/nra_tactic.cpp.o [ 85%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfaufbv_tactic.cpp.o [ 85%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfauflia_tactic.cpp.o [ 85%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfbv_tactic.cpp.o [ 86%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfidl_tactic.cpp.o [ 86%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qflia_tactic.cpp.o [ 86%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qflra_tactic.cpp.o [ 86%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfnia_tactic.cpp.o [ 86%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfnra_tactic.cpp.o [ 86%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfufbv_ackr_model_converter.cpp.o [ 86%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfufbv_tactic.cpp.o [ 86%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfuf_tactic.cpp.o [ 86%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/quant_tactics.cpp.o [ 86%] Building CXX object src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/smt_tactic.cpp.o [ 86%] Built target smtlogic_tactics [ 86%] Generating "/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build/src/tactic/sls/sls_params.hpp" from "sls_params.pyg" INFO:root:Using /home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/src/tactic/sls/sls_params.pyg INFO:root:Generated "/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build/src/tactic/sls/sls_params.hpp" [ 86%] Building CXX object src/tactic/sls/CMakeFiles/sls_tactic.dir/bvsls_opt_engine.cpp.o [ 86%] Building CXX object src/tactic/sls/CMakeFiles/sls_tactic.dir/sls_engine.cpp.o [ 86%] Building CXX object src/tactic/sls/CMakeFiles/sls_tactic.dir/sls_tactic.cpp.o [ 86%] Built target sls_tactic [ 86%] Generating "/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build/src/opt/opt_params.hpp" from "opt_params.pyg" INFO:root:Using /home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/src/opt/opt_params.pyg INFO:root:Generated "/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build/src/opt/opt_params.hpp" [ 86%] Building CXX object src/opt/CMakeFiles/opt.dir/maxcore.cpp.o [ 86%] Building CXX object src/opt/CMakeFiles/opt.dir/maxlex.cpp.o [ 86%] Building CXX object src/opt/CMakeFiles/opt.dir/maxsmt.cpp.o [ 86%] Building CXX object src/opt/CMakeFiles/opt.dir/opt_cmds.cpp.o [ 86%] Building CXX object src/opt/CMakeFiles/opt.dir/opt_context.cpp.o [ 86%] Building CXX object src/opt/CMakeFiles/opt.dir/opt_cores.cpp.o [ 88%] Building CXX object src/opt/CMakeFiles/opt.dir/opt_lns.cpp.o [ 88%] Building CXX object src/opt/CMakeFiles/opt.dir/opt_pareto.cpp.o [ 88%] Building CXX object src/opt/CMakeFiles/opt.dir/opt_parse.cpp.o [ 88%] Building CXX object src/opt/CMakeFiles/opt.dir/opt_preprocess.cpp.o [ 88%] Building CXX object src/opt/CMakeFiles/opt.dir/optsmt.cpp.o [ 88%] Building CXX object src/opt/CMakeFiles/opt.dir/opt_solver.cpp.o [ 88%] Building CXX object src/opt/CMakeFiles/opt.dir/pb_sls.cpp.o [ 88%] Building CXX object src/opt/CMakeFiles/opt.dir/sortmax.cpp.o [ 88%] Building CXX object src/opt/CMakeFiles/opt.dir/totalizer.cpp.o [ 88%] Building CXX object src/opt/CMakeFiles/opt.dir/wmax.cpp.o [ 88%] Built target opt [ 88%] Building CXX object src/math/interval/CMakeFiles/interval.dir/interval_mpq.cpp.o [ 88%] Building CXX object src/math/interval/CMakeFiles/interval.dir/dep_intervals.cpp.o [ 88%] Built target interval [ 88%] Generating "/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build/src/math/realclosure/rcf_params.hpp" from "rcf_params.pyg" INFO:root:Using /home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/src/math/realclosure/rcf_params.pyg INFO:root:Generated "/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build/src/math/realclosure/rcf_params.hpp" [ 88%] Building CXX object src/math/realclosure/CMakeFiles/realclosure.dir/mpz_matrix.cpp.o [ 88%] Building CXX object src/math/realclosure/CMakeFiles/realclosure.dir/realclosure.cpp.o In file included from /home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/src/math/realclosure/realclosure.cpp:30: In member function 'void ref_buffer_core::reset() [with T = realclosure::value; Ref = ref_manager_wrapper; unsigned int INITIAL_SIZE = 32]', inlined from 'void realclosure::manager::imp::add(unsigned int, realclosure::value* const*, realclosure::value*, value_ref_buffer&)' at /home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/src/math/realclosure/realclosure.cpp:2699:20, inlined from 'void realclosure::manager::imp::add_p_v(realclosure::rational_function_value*, realclosure::value*, value_ref&)' at /home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/src/math/realclosure/realclosure.cpp:4953:16, inlined from 'void realclosure::manager::imp::add_rf_v(realclosure::rational_function_value*, realclosure::value*, value_ref&)' at /home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/src/math/realclosure/realclosure.cpp:4966:24: /home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/src/util/ref_buffer.h:108:22: warning: 'new_num' may be used uninitialized [-Wmaybe-uninitialized] 108 | dec_range_ref(m_buffer.begin(), m_buffer.end()); | ~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/src/util/ref_buffer.h: In member function 'void realclosure::manager::imp::add_rf_v(realclosure::rational_function_value*, realclosure::value*, value_ref&)': /home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/src/util/ref_buffer.h:40:10: note: by argument 2 of type 'realclosure::value* const*' to 'void ref_buffer_core::dec_range_ref(T* const*, T* const*) [with T = realclosure::value; Ref = ref_manager_wrapper; unsigned int INITIAL_SIZE = 32]' declared here 40 | void dec_range_ref(T * const * begin, T * const * end) { | ^~~~~~~~~~~~~ /home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/src/math/realclosure/realclosure.cpp:4952:30: note: 'new_num' declared here 4952 | value_ref_buffer new_num(*this); | ^~~~~~~ In member function 'void ref_buffer_core::reset() [with T = realclosure::value; Ref = ref_manager_wrapper; unsigned int INITIAL_SIZE = 32]', inlined from 'void realclosure::manager::imp::add(unsigned int, realclosure::value* const*, realclosure::value*, value_ref_buffer&)' at /home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/src/math/realclosure/realclosure.cpp:2699:20, inlined from 'void realclosure::manager::imp::add_p_v(realclosure::rational_function_value*, realclosure::value*, value_ref&)' at /home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/src/math/realclosure/realclosure.cpp:4953:16, inlined from 'void realclosure::manager::imp::add_rf_v(realclosure::rational_function_value*, realclosure::value*, value_ref&)' at /home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/src/math/realclosure/realclosure.cpp:4966:24: /home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/src/util/ref_buffer.h:108:22: warning: 'new_num' may be used uninitialized [-Wmaybe-uninitialized] 108 | dec_range_ref(m_buffer.begin(), m_buffer.end()); | ~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/src/util/ref_buffer.h: In member function 'void realclosure::manager::imp::add_rf_v(realclosure::rational_function_value*, realclosure::value*, value_ref&)': /home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/src/util/ref_buffer.h:40:10: note: by argument 3 of type 'realclosure::value* const*' to 'void ref_buffer_core::dec_range_ref(T* const*, T* const*) [with T = realclosure::value; Ref = ref_manager_wrapper; unsigned int INITIAL_SIZE = 32]' declared here 40 | void dec_range_ref(T * const * begin, T * const * end) { | ^~~~~~~~~~~~~ /home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/src/math/realclosure/realclosure.cpp:4952:30: note: 'new_num' declared here 4952 | value_ref_buffer new_num(*this); | ^~~~~~~ [ 88%] Built target realclosure [ 88%] Building CXX object src/math/subpaving/CMakeFiles/subpaving.dir/subpaving.cpp.o [ 89%] Building CXX object src/math/subpaving/CMakeFiles/subpaving.dir/subpaving_hwf.cpp.o [ 89%] Building CXX object src/math/subpaving/CMakeFiles/subpaving.dir/subpaving_mpf.cpp.o [ 89%] Building CXX object src/math/subpaving/CMakeFiles/subpaving.dir/subpaving_mpff.cpp.o [ 89%] Building CXX object src/math/subpaving/CMakeFiles/subpaving.dir/subpaving_mpfx.cpp.o [ 89%] Building CXX object src/math/subpaving/CMakeFiles/subpaving.dir/subpaving_mpq.cpp.o [ 89%] Built target subpaving [ 89%] Building CXX object src/math/subpaving/tactic/CMakeFiles/subpaving_tactic.dir/expr2subpaving.cpp.o [ 89%] Building CXX object src/math/subpaving/tactic/CMakeFiles/subpaving_tactic.dir/subpaving_tactic.cpp.o [ 89%] Built target subpaving_tactic [ 89%] Building CXX object src/cmd_context/extra_cmds/CMakeFiles/extra_cmds.dir/dbg_cmds.cpp.o [ 89%] Building CXX object src/cmd_context/extra_cmds/CMakeFiles/extra_cmds.dir/polynomial_cmds.cpp.o [ 90%] Building CXX object src/cmd_context/extra_cmds/CMakeFiles/extra_cmds.dir/subpaving_cmds.cpp.o [ 90%] Building CXX object src/cmd_context/extra_cmds/CMakeFiles/extra_cmds.dir/proof_cmds.cpp.o [ 90%] Built target extra_cmds [ 90%] Building CXX object src/tactic/ufbv/CMakeFiles/ufbv_tactic.dir/macro_finder_tactic.cpp.o [ 91%] Building CXX object src/tactic/ufbv/CMakeFiles/ufbv_tactic.dir/quasi_macros_tactic.cpp.o [ 91%] Building CXX object src/tactic/ufbv/CMakeFiles/ufbv_tactic.dir/ufbv_rewriter_tactic.cpp.o [ 91%] Building CXX object src/tactic/ufbv/CMakeFiles/ufbv_tactic.dir/ufbv_tactic.cpp.o [ 91%] Built target ufbv_tactic [ 91%] Building CXX object src/tactic/fpa/CMakeFiles/fpa_tactics.dir/fpa2bv_model_converter.cpp.o [ 91%] Building CXX object src/tactic/fpa/CMakeFiles/fpa_tactics.dir/fpa2bv_tactic.cpp.o [ 91%] Building CXX object src/tactic/fpa/CMakeFiles/fpa_tactics.dir/qffp_tactic.cpp.o [ 91%] Building CXX object src/tactic/fpa/CMakeFiles/fpa_tactics.dir/qffplra_tactic.cpp.o [ 91%] Built target fpa_tactics [ 91%] Building CXX object src/tactic/fd_solver/CMakeFiles/fd_solver.dir/bounded_int2bv_solver.cpp.o [ 91%] Building CXX object src/tactic/fd_solver/CMakeFiles/fd_solver.dir/enum2bv_solver.cpp.o [ 91%] Building CXX object src/tactic/fd_solver/CMakeFiles/fd_solver.dir/fd_solver.cpp.o [ 91%] Building CXX object src/tactic/fd_solver/CMakeFiles/fd_solver.dir/pb2bv_solver.cpp.o [ 91%] Building CXX object src/tactic/fd_solver/CMakeFiles/fd_solver.dir/smtfd_solver.cpp.o [ 91%] Built target fd_solver [ 91%] Building CXX object src/tactic/portfolio/CMakeFiles/portfolio.dir/default_tactic.cpp.o [ 92%] 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 [ 92%] Built target portfolio [ 92%] Generating api_commands.cpp;api_log_macros.cpp;api_log_macros.h Faking emission of 'z3/z3core.py' Generated '/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build/src/api/api_log_macros.h' Generated '/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build/src/api/api_log_macros.cpp' Generated '/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build/src/api/api_commands.cpp' Generated '6' [ 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 [ 92%] Building CXX object src/api/CMakeFiles/api.dir/api_ast_vector.cpp.o [ 92%] Building CXX object src/api/CMakeFiles/api.dir/api_bv.cpp.o [ 94%] Building CXX object src/api/CMakeFiles/api.dir/api_config_params.cpp.o [ 94%] Building CXX object src/api/CMakeFiles/api.dir/api_context.cpp.o [ 94%] Building CXX object src/api/CMakeFiles/api.dir/api_datalog.cpp.o [ 94%] Building CXX object src/api/CMakeFiles/api.dir/api_datatype.cpp.o [ 94%] Building CXX object src/api/CMakeFiles/api.dir/api_fpa.cpp.o [ 94%] Building CXX object src/api/CMakeFiles/api.dir/api_goal.cpp.o [ 94%] Building CXX object src/api/CMakeFiles/api.dir/api_log.cpp.o [ 94%] Building CXX object src/api/CMakeFiles/api.dir/api_model.cpp.o [ 94%] Building CXX object src/api/CMakeFiles/api.dir/api_numeral.cpp.o [ 94%] 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 [ 95%] 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 [ 96%] Built target api [ 96%] Generating "/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build/src/api/dll/mem_initializer.cpp" INFO:root:Generated "/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build/src/api/dll/mem_initializer.cpp" [ 96%] Generating "/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build/src/api/dll/gparams_register_modules.cpp" INFO:root:Generated "/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build/src/api/dll/gparams_register_modules.cpp" [ 96%] Generating "/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build/src/api/dll/install_tactic.cpp" INFO:root:Generated "/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build/src/api/dll/install_tactic.cpp" [ 96%] Building CXX object src/api/dll/CMakeFiles/api_dll.dir/dll.cpp.o [ 96%] 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 [ 97%] Building CXX object src/api/dll/CMakeFiles/api_dll.dir/mem_initializer.cpp.o [ 97%] Built target api_dll [ 97%] Linking CXX shared library ../libz3.so [ 97%] Built target libz3 [ 97%] Generating "/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build/src/shell/mem_initializer.cpp" INFO:root:Generated "/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build/src/shell/mem_initializer.cpp" [ 97%] Generating "/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build/src/shell/gparams_register_modules.cpp" INFO:root:Generated "/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build/src/shell/gparams_register_modules.cpp" [ 97%] Generating "/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build/src/shell/install_tactic.cpp" INFO:root:Generated "/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build/src/shell/install_tactic.cpp" [ 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 [ 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/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 [ 98%] Building CXX object src/shell/CMakeFiles/shell.dir/z3_log_frontend.cpp.o [100%] Building CXX object src/shell/CMakeFiles/shell.dir/lp_frontend.cpp.o [100%] Linking CXX executable ../../z3 [100%] Built target shell [100%] Building CXX object src/test/fuzzing/CMakeFiles/fuzzing.dir/expr_delta.cpp.o [100%] Building CXX object src/test/fuzzing/CMakeFiles/fuzzing.dir/expr_rand.cpp.o [100%] Built target fuzzing make[1]: Leaving directory '/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build' >>> z3 4.12.1 Installing to staging directory PATH="/home/autobuild/autobuild/instance-4/output-1/host/bin:/home/autobuild/autobuild/instance-4/output-1/host/sbin:/home/autobuild/make:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" /home/autobuild/make/make -j1 DESTDIR=/home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot install/fast -C /home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1//buildroot-build make[1]: Entering directory '/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build' Install the project... -- Install configuration: "Release" -- Installing: /home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot/usr/lib/cmake/z3/Z3Targets.cmake -- Installing: /home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot/usr/lib/cmake/z3/Z3Targets-release.cmake -- Installing: /home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot/usr/lib/cmake/z3/Z3Config.cmake -- Installing: /home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot/usr/lib/cmake/z3/Z3ConfigVersion.cmake -- Installing: /home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot/usr/lib/pkgconfig/z3.pc -- Installing: /home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot/usr/lib/libz3.so.4.12.1.0 -- Installing: /home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot/usr/lib/libz3.so.4.12 -- Installing: /home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot/usr/lib/libz3.so -- Installing: /home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot/usr/include/z3_algebraic.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot/usr/include/z3_api.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot/usr/include/z3_ast_containers.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot/usr/include/z3_fixedpoint.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot/usr/include/z3_fpa.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot/usr/include/z3.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot/usr/include/z3++.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot/usr/include/z3_macros.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot/usr/include/z3_optimization.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot/usr/include/z3_polynomial.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot/usr/include/z3_rcf.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot/usr/include/z3_v1.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot/usr/include/z3_spacer.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot/usr/include/z3_version.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot/usr/bin/z3 make[1]: Leaving directory '/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build' >>> z3 4.12.1 Fixing libtool files for la in $(find /home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot/usr/lib* -name "*.la"); do \ cp -a "${la}" "${la}.fixed" && \ /usr/bin/sed -i -e "s:/home/autobuild/autobuild/instance-4/output-1:@BASE_DIR@:g" \ -e "s:/home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot:@STAGING_DIR@:g" \ -e "s:/home/autobuild/autobuild/instance-4/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/autobuild/autobuild/instance-4/output-1/host/opt/ext-toolchain:g" \ -e "s:@STAGING_DIR@:/home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot:g" \ -e "s:@BASE_DIR@:/home/autobuild/autobuild/instance-4/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.12.1 Installing to target PATH="/home/autobuild/autobuild/instance-4/output-1/host/bin:/home/autobuild/autobuild/instance-4/output-1/host/sbin:/home/autobuild/make:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" /home/autobuild/make/make -j1 DESTDIR=/home/autobuild/autobuild/instance-4/output-1/target install/fast -C /home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1//buildroot-build make[1]: Entering directory '/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build' Install the project... -- Install configuration: "Release" -- Installing: /home/autobuild/autobuild/instance-4/output-1/target/usr/lib/cmake/z3/Z3Targets.cmake -- Installing: /home/autobuild/autobuild/instance-4/output-1/target/usr/lib/cmake/z3/Z3Targets-release.cmake -- Installing: /home/autobuild/autobuild/instance-4/output-1/target/usr/lib/cmake/z3/Z3Config.cmake -- Installing: /home/autobuild/autobuild/instance-4/output-1/target/usr/lib/cmake/z3/Z3ConfigVersion.cmake -- Installing: /home/autobuild/autobuild/instance-4/output-1/target/usr/lib/pkgconfig/z3.pc -- Installing: /home/autobuild/autobuild/instance-4/output-1/target/usr/lib/libz3.so.4.12.1.0 -- Installing: /home/autobuild/autobuild/instance-4/output-1/target/usr/lib/libz3.so.4.12 -- Installing: /home/autobuild/autobuild/instance-4/output-1/target/usr/lib/libz3.so -- Installing: /home/autobuild/autobuild/instance-4/output-1/target/usr/include/z3_algebraic.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/target/usr/include/z3_api.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/target/usr/include/z3_ast_containers.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/target/usr/include/z3_fixedpoint.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/target/usr/include/z3_fpa.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/target/usr/include/z3.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/target/usr/include/z3++.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/target/usr/include/z3_macros.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/target/usr/include/z3_optimization.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/target/usr/include/z3_polynomial.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/target/usr/include/z3_rcf.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/target/usr/include/z3_v1.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/target/usr/include/z3_spacer.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/target/usr/include/z3_version.h -- Installing: /home/autobuild/autobuild/instance-4/output-1/target/usr/bin/z3 make[1]: Leaving directory '/home/autobuild/autobuild/instance-4/output-1/build/z3-4.12.1/buildroot-build' >>> Finalizing host directory >>> Finalizing target directory mkdir -p /home/autobuild/autobuild/instance-4/output-1/host/etc/meson sed -e "s%@TARGET_CFLAGS@%'-D_LARGEFILE_SOURCE', '-D_LARGEFILE64_SOURCE', '-D_FILE_OFFSET_BITS=64', '-O3', '-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', '-O3', '-g0', '-D_FORTIFY_SOURCE=1'@PKG_TARGET_CXXFLAGS@%g" -e "s%@TARGET_FCFLAGS@%'-O3', '-g0'@PKG_TARGET_FCFLAGS@%g" -e "s%@TARGET_CC@%/home/autobuild/autobuild/instance-4/output-1/host/bin/i686-linux-gcc%g" -e "s%@TARGET_CXX@%/home/autobuild/autobuild/instance-4/output-1/host/bin/i686-linux-g++%g" -e "s%@TARGET_AR@%/home/autobuild/autobuild/instance-4/output-1/host/bin/i686-linux-gcc-ar%g" -e "s%@TARGET_FC@%/home/autobuild/autobuild/instance-4/output-1/host/bin/i686-linux-gfortran%g" -e "s%@TARGET_STRIP@%/bin/true%g" -e "s%@TARGET_ARCH@%x86%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/autobuild/autobuild/instance-4/output-1/host/bin/cmake%g" -e "s%@PKGCONF_HOST_BINARY@%/home/autobuild/autobuild/instance-4/output-1/host/bin/pkgconf%g" -e "s%@HOST_DIR@%/home/autobuild/autobuild/instance-4/output-1/host%g" -e "s%@STAGING_DIR@%/home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot%g" -e "s%@STATIC@%false%g" /home/autobuild/autobuild/instance-4/buildroot/support/misc/cross-compilation.conf.in > /home/autobuild/autobuild/instance-4/output-1/host/etc/meson/cross-compilation.conf.in sed -e "s%@TARGET_CC@%/home/autobuild/autobuild/instance-4/output-1/host/bin/i686-linux-gcc%g" -e "s%@TARGET_CXX@%/home/autobuild/autobuild/instance-4/output-1/host/bin/i686-linux-g++%g" -e "s%@TARGET_AR@%/home/autobuild/autobuild/instance-4/output-1/host/bin/i686-linux-gcc-ar%g" -e "s%@TARGET_FC@%/home/autobuild/autobuild/instance-4/output-1/host/bin/i686-linux-gfortran%g" -e "s%@TARGET_STRIP@%/bin/true%g" -e "s%@TARGET_ARCH@%x86%g" -e "s%@TARGET_CPU@%%g" -e "s%@TARGET_ENDIAN@%little%g" -e "s%@TARGET_FCFLAGS@%'-O3', '-g0'%g" -e "s%@TARGET_CFLAGS@%'-D_LARGEFILE_SOURCE', '-D_LARGEFILE64_SOURCE', '-D_FILE_OFFSET_BITS=64', '-O3', '-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', '-O3', '-g0', '-D_FORTIFY_SOURCE=1'%g" -e "s%@BR2_CMAKE@%/home/autobuild/autobuild/instance-4/output-1/host/bin/cmake%g" -e "s%@PKGCONF_HOST_BINARY@%/home/autobuild/autobuild/instance-4/output-1/host/bin/pkgconf%g" -e "s%@HOST_DIR@%/home/autobuild/autobuild/instance-4/output-1/host%g" -e "s%@STAGING_DIR@%/home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot%g" -e "s%@STATIC@%false%g" /home/autobuild/autobuild/instance-4/buildroot/support/misc/cross-compilation.conf.in > /home/autobuild/autobuild/instance-4/output-1/host/etc/meson/cross-compilation.conf grep -qsE '^/bin/dash$' /home/autobuild/autobuild/instance-4/output-1/target/etc/shells || echo "/bin/dash" >> /home/autobuild/autobuild/instance-4/output-1/target/etc/shells rm -f /home/autobuild/autobuild/instance-4/output-1/target/usr/share/glib-2.0/schemas/*.xml /home/autobuild/autobuild/instance-4/output-1/target/usr/share/glib-2.0/schemas/*.dtd /home/autobuild/autobuild/instance-4/output-1/host/bin/glib-compile-schemas /home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot/usr/share/glib-2.0/schemas --targetdir=/home/autobuild/autobuild/instance-4/output-1/target/usr/share/glib-2.0/schemas No schema files found: doing nothing. mkdir -p /home/autobuild/autobuild/instance-4/output-1/target/etc echo "buildroot" > /home/autobuild/autobuild/instance-4/output-1/target/etc/hostname /usr/bin/sed -i -e '$a \127.0.1.1\tbuildroot' -e '/^127.0.1.1/d' /home/autobuild/autobuild/instance-4/output-1/target/etc/hosts mkdir -p /home/autobuild/autobuild/instance-4/output-1/target/etc echo "Welcome to Buildroot" > /home/autobuild/autobuild/instance-4/output-1/target/etc/issue /usr/bin/sed -i -e s,^root:[^:]*:,root::, /home/autobuild/autobuild/instance-4/output-1/target/etc/shadow grep -qsE '^/bin/sh$' /home/autobuild/autobuild/instance-4/output-1/target/etc/shells || echo "/bin/sh" >> /home/autobuild/autobuild/instance-4/output-1/target/etc/shells ln -sf dash /home/autobuild/autobuild/instance-4/output-1/target/bin/sh /usr/bin/sed -i -e '/^root:/s,[^/]*$,dash,' /home/autobuild/autobuild/instance-4/output-1/target/etc/passwd if [ -x /home/autobuild/autobuild/instance-4/output-1/target/sbin/swapon -a -x /home/autobuild/autobuild/instance-4/output-1/target/sbin/swapoff ]; then /usr/bin/sed -i -e '/^#.*\/sbin\/swap/s/^#\+[[:blank:]]*//' /home/autobuild/autobuild/instance-4/output-1/target/etc/inittab; else /usr/bin/sed -i -e '/^[^#].*\/sbin\/swap/s/^/#/' /home/autobuild/autobuild/instance-4/output-1/target/etc/inittab; fi /usr/bin/sed -i -e '/# GENERIC_SERIAL$/s~^.*#~sole::respawn:/sbin/getty -L console 0 vt100 #~' /home/autobuild/autobuild/instance-4/output-1/target/etc/inittab /usr/bin/sed -i -e '/^#.*-o remount,rw \/$/s~^#\+~~' /home/autobuild/autobuild/instance-4/output-1/target/etc/inittab rm -rf /home/autobuild/autobuild/instance-4/output-1/target/usr/include /home/autobuild/autobuild/instance-4/output-1/target/usr/share/aclocal \ /home/autobuild/autobuild/instance-4/output-1/target/usr/lib/pkgconfig /home/autobuild/autobuild/instance-4/output-1/target/usr/share/pkgconfig \ /home/autobuild/autobuild/instance-4/output-1/target/usr/lib/cmake /home/autobuild/autobuild/instance-4/output-1/target/usr/share/cmake \ /home/autobuild/autobuild/instance-4/output-1/target/usr/lib/rpm /home/autobuild/autobuild/instance-4/output-1/target/usr/doc find /home/autobuild/autobuild/instance-4/output-1/target/usr/{lib,share}/ -name '*.cmake' -print0 | xargs -0 rm -f find /home/autobuild/autobuild/instance-4/output-1/target/lib/ /home/autobuild/autobuild/instance-4/output-1/target/usr/lib/ /home/autobuild/autobuild/instance-4/output-1/target/usr/libexec/ \ \( -name '*.a' -o -name '*.la' -o -name '*.prl' \) -print0 | xargs -0 rm -f find: '/home/autobuild/autobuild/instance-4/output-1/target/usr/libexec/': No such file or directory rm -rf /home/autobuild/autobuild/instance-4/output-1/target/usr/share/gdb rm -rf /home/autobuild/autobuild/instance-4/output-1/target/usr/share/bash-completion rm -rf /home/autobuild/autobuild/instance-4/output-1/target/etc/bash_completion.d rm -rf /home/autobuild/autobuild/instance-4/output-1/target/usr/share/zsh rm -rf /home/autobuild/autobuild/instance-4/output-1/target/usr/man /home/autobuild/autobuild/instance-4/output-1/target/usr/share/man rm -rf /home/autobuild/autobuild/instance-4/output-1/target/usr/info /home/autobuild/autobuild/instance-4/output-1/target/usr/share/info rm -rf /home/autobuild/autobuild/instance-4/output-1/target/usr/doc /home/autobuild/autobuild/instance-4/output-1/target/usr/share/doc rm -rf /home/autobuild/autobuild/instance-4/output-1/target/usr/share/gtk-doc rmdir /home/autobuild/autobuild/instance-4/output-1/target/usr/share 2>/dev/null || true rm -rf /home/autobuild/autobuild/instance-4/output-1/target/lib/debug /home/autobuild/autobuild/instance-4/output-1/target/usr/lib/debug find /home/autobuild/autobuild/instance-4/output-1/target -type f \( -perm /111 -o -name '*.so*' \) -not \( -name 'libpthread*.so*' -o -name 'ld-*.so*' -o -name '*.ko' \) -print0 | xargs -0 /bin/true 2>/dev/null || true find /home/autobuild/autobuild/instance-4/output-1/target \( -name 'ld-*.so*' -o -name 'libpthread*.so*' \) -print0 | xargs -0 -r /bin/true 2>/dev/null || true test -f /home/autobuild/autobuild/instance-4/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/autobuild/autobuild/instance-4/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/autobuild/autobuild/instance-4/output-1/target/etc ( \ echo "NAME=Buildroot"; \ echo "VERSION=2023.02-163-g7ad6dd20ff"; \ echo "ID=buildroot"; \ echo "VERSION_ID=2023.05-git"; \ echo "PRETTY_NAME=\"Buildroot 2023.05-git\"" \ ) > /home/autobuild/autobuild/instance-4/output-1/target/usr/lib/os-release ln -sf ../usr/lib/os-release /home/autobuild/autobuild/instance-4/output-1/target/etc >>> Sanitizing RPATH in target tree PER_PACKAGE_DIR=/home/autobuild/autobuild/instance-4/output-1/per-package /home/autobuild/autobuild/instance-4/buildroot/support/scripts/fix-rpath target touch /home/autobuild/autobuild/instance-4/output-1/target/usr ln -snf /home/autobuild/autobuild/instance-4/output-1/host/i686-buildroot-linux-gnu/sysroot /home/autobuild/autobuild/instance-4/output-1/staging make: Leaving directory '/home/autobuild/autobuild/instance-4/buildroot' make: Entering directory '/home/autobuild/autobuild/instance-4/buildroot' >>> Buildroot 2023.02-163-g7ad6dd20ff Collecting legal info COPYING: OK (sha256: 9755181e27175cb3510b4da8629caa406fb355a19aa8e7d55f06bf8ab33323c4) >>> toolchain-external Collecting legal info >>> host-fakedate Collecting legal info >>> host-skeleton Collecting legal info >>> skeleton Collecting legal info >>> skeleton-init-sysv Collecting legal info >>> skeleton-init-common Collecting legal info >>> toolchain-external-bootlin 2022.08-1 Collecting legal info >>> toolchain Collecting legal info >>> bzip2 1.0.8 Collecting legal info LICENSE: OK (sha256: c6dbbf828498be844a89eaa3b84adbab3199e342eb5cb2ed2f0d4ba7ec0f38a3) >>> comix-cursors 0.9.1 Collecting legal info >>> dash 0.5.11.5 Collecting legal info COPYING: OK (sha256: 254a7894923ff62e69184a991dcbccae97edee58a1105e8efbe78caf10595d72) >>> drbd-utils 9.21.4 Collecting legal info COPYING: OK (sha256: 1ca3e8f71b7de618968e7ea9fe47822d9e704dc476aef8544033abedec355225) >>> host-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-tiny 0.3.2 Collecting legal info LICENSE: OK (sha256: 4c938aa3d8fa3c184bba5e87a8a2febc89560627c9d0567536879e3eca1a7b4f) extra/COPYING: OK (sha256: e79e9c8a0c85d735ff98185918ec94ed7d175efc377012787aebcf3b80f0d90b) >>> flac 1.4.2 Collecting legal info COPYING.Xiph: OK (sha256: 6e58d3036f05e2a0d58af854c12a505ddbe75011d71a598a2170987f3b15408d) COPYING.GPL: OK (sha256: 8177f97513213526df2cf6184d8ff986c675afb514d4e68a404010521b880643) COPYING.LGPL: OK (sha256: 5df07007198989c622f5d41de8d703e7bef3d0e79d62e24332ee739a452af62a) >>> gdk-pixbuf 2.42.10 Collecting legal info COPYING: OK (sha256: dc626520dcd53a22f727af3ee42c770e56c97a64fe3adb063799d8ab032fe551) >>> host-gdk-pixbuf 2.42.10 Collecting legal info COPYING: OK (sha256: dc626520dcd53a22f727af3ee42c770e56c97a64fe3adb063799d8ab032fe551) >>> host-libglib2 2.72.3 Collecting legal info COPYING: OK (sha256: dc626520dcd53a22f727af3ee42c770e56c97a64fe3adb063799d8ab032fe551) >>> host-libffi 3.4.4 Collecting legal info LICENSE: OK (sha256: 2c9c2acb9743e6b007b91350475308aee44691d96aa20eacef8e199988c8c388) >>> 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-cmake 3.22.3 Collecting legal info Copyright.txt: OK (sha256: f1a4326266aada65b307dac05161a9d02d3dba4fb08b50cb26e3c24cc8a86e97) >>> host-pkgconf 1.6.3 Collecting legal info COPYING: OK (sha256: 07ee94b50a41ee3fc4e13a9b9c60b26fc28488494c465639f7e5f07a3952ec04) >>> host-python-setuptools 65.6.3 Collecting legal info LICENSE: OK (sha256: db3f0246b1f9278f15845b99fec478b8b506eb76487993722f8c6e254285faf8) >>> host-python3 3.11.2 Collecting legal info LICENSE: OK (sha256: 3b2f81fe21d181c499c59a256c8e1968455d6689d269aa85373bfb6af41da3bf) >>> 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-zlib Collecting legal info >>> host-libzlib 1.2.13 Collecting legal info LICENSE: OK (sha256: 845efc77857d485d91fb3e0b884aaa929368c717ae8186b66fe1ed2495753243) >>> host-pcre 8.45 Collecting legal info LICENCE: OK (sha256: 51b3dea44f63338b84b9c97b3d793826a8397309068cf9379a423216ab8ea5b2) >>> host-util-linux 2.38 Collecting legal info README.licensing: OK (sha256: 869660b5269f4f40a8a679da7f403ea3a6e71d46087aab5e14871b09bcb55955) 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) >>> host-libpng 1.6.39 Collecting legal info LICENSE: OK (sha256: dfe5a536b0e5a531f844fb9c101a3089aca60772a503893b8e15f9457e369960) >>> libglib2 2.72.3 Collecting legal info COPYING: OK (sha256: dc626520dcd53a22f727af3ee42c770e56c97a64fe3adb063799d8ab032fe551) >>> libffi 3.4.4 Collecting legal info LICENSE: OK (sha256: 2c9c2acb9743e6b007b91350475308aee44691d96aa20eacef8e199988c8c388) >>> pcre 8.45 Collecting legal info LICENCE: OK (sha256: 51b3dea44f63338b84b9c97b3d793826a8397309068cf9379a423216ab8ea5b2) >>> zlib Collecting legal info >>> libzlib 1.2.13 Collecting legal info LICENSE: OK (sha256: 845efc77857d485d91fb3e0b884aaa929368c717ae8186b66fe1ed2495753243) >>> genromfs 0.5.2 Collecting legal info COPYING: OK (sha256: cc2a6651c315b233ebc110b49ea3c6452eff9a28f8bc051ffd2bb92a8dcfa3d2) >>> initscripts Collecting legal info >>> keyutils 1.6.3 Collecting legal info LICENCE.GPL: OK (sha256: f46409d4822b2457b39bbd0e7881eecb396130eb8320b7748fa7e9488970aa6d) LICENCE.LGPL: OK (sha256: 0d15593e3a8ad90917f8509b5ac1e4b5e5d196434a68029aa9dc0858a4a4c521) >>> libcrossguid 8f399e8bd4252be9952f3dfa8199924cc8487ca4 Collecting legal info LICENSE: OK (sha256: 779e58787f966a1552f68d5ec041513cef68785dae4a519dbda7bc0b86eda20e) >>> util-linux 2.38 Collecting legal info README.licensing: OK (sha256: 869660b5269f4f40a8a679da7f403ea3a6e71d46087aab5e14871b09bcb55955) 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) >>> pcre2 10.42 Collecting legal info LICENCE: OK (sha256: 87d884eceb7fc54611470ce9f74280d28612b0c877adfc767e9676892a638987) >>> libdvbcsa 1.1.0 Collecting legal info COPYING: OK (sha256: 32b1062f7da84967e7019d01ab805935caa7ab7321a7ced0e30ebe75e5df1670) >>> libfreefare 0.4.0 Collecting legal info COPYING: OK (sha256: be6209dfd763a0ba77fbe990cfd2512804441d8b5f0cad927baa3341b50fcade) >>> libnfc 1.8.0 Collecting legal info COPYING: OK (sha256: 9ccf26cfe845e0eb8bb58053e47366e7ab6b697ae010f7650978d4b71b7d1fc1) >>> openssl Collecting legal info >>> libressl 3.6.2 Collecting legal info COPYING: OK (sha256: 5c63613f008f16a9c0025c096bbd736cecf720494d121b5c5203e0ec6e5955b1) >>> libmediaart 1.9.6 Collecting legal info COPYING.LESSER: OK (sha256: dc626520dcd53a22f727af3ee42c770e56c97a64fe3adb063799d8ab032fe551) >>> libnetconf2 2.1.28 Collecting legal info LICENSE: OK (sha256: bd962ab457c8a8cb8faaaa36c11484680f3c9a47dbc336507817ae8935384064) >>> libssh 0.10.4 Collecting legal info COPYING: OK (sha256: 1656186e951db1c010a8485481fa94587f7e53a26d24976bef97945ad0c4df5a) >>> libyang 2.1.30 Collecting legal info LICENSE: OK (sha256: 0b7ec43747d211a1e49c53588b0822062947bab6bdcc95238578beab34cba5bb) >>> librsync 2.3.2 Collecting legal info COPYING: OK (sha256: 5bbcbb737e60fe9deba08ecbd00920cfcc3403ba2e534c64fdeea49d6bb87509) >>> popt 1.19 Collecting legal info COPYING: OK (sha256: 2b488b239927935f34769a39309c0680be16e3725a1f55dbb06ed20d53852801) >>> mongoose 7.8 Collecting legal info LICENSE: OK (sha256: b41c293820074278291813af9f181918154875c94d744a90bf4eec331be28ac5) >>> netopeer2 2.1.49 Collecting legal info LICENSE: OK (sha256: b46f161fbdcf127d3ef22602e15958c3092fe3294f71a2dc8cdf8f6689cba95b) >>> host-sysrepo 2.2.36 Collecting legal info LICENSE: OK (sha256: 88f1b7e5c64d2c113e07105aa9c0fb80639b40287565be1c2afd0949df83d826) >>> host-libyang 2.1.30 Collecting legal info LICENSE: OK (sha256: 0b7ec43747d211a1e49c53588b0822062947bab6bdcc95238578beab34cba5bb) >>> host-pcre2 10.42 Collecting legal info LICENCE: OK (sha256: 87d884eceb7fc54611470ce9f74280d28612b0c877adfc767e9676892a638987) >>> sysrepo 2.2.36 Collecting legal info LICENSE: OK (sha256: 88f1b7e5c64d2c113e07105aa9c0fb80639b40287565be1c2afd0949df83d826) >>> netplug 1.2.9.2 Collecting legal info COPYING: OK (sha256: 08ce3ddda499d6befdc80161c7cc82e90da05c31eb1047dae41ef531d5170e9b) >>> host-patchelf 0.13 Collecting legal info COPYING: OK (sha256: 8ceb4b9ee5adedde47b31e975c1d90c73ad27b6b165a1dcd80c7c545eb65b903) >>> ramsmp 3.5.0 Collecting legal info LICENCE: OK (sha256: 2c308cffbab01762f8f6b11725725a227080746ef865f2756c9c9e1591dddaad) >>> sysvinit 2.99 Collecting legal info COPYING: OK (sha256: ab15fd526bd8dd18a9e77ebc139656bf4d33e97fc7238cd11bf60e2b9b8666c6) >>> z3 4.12.1 Collecting legal info LICENSE.txt: OK (sha256: e617cad2ab9347e3129c2b171e87909332174e17961c5c3412d0799469111337) WARNING: the Buildroot source code has not been saved WARNING: toolchain-external-bootlin-2022.08-1: cannot save license (TOOLCHAIN_EXTERNAL_BOOTLIN_LICENSE_FILES not defined) WARNING: comix-cursors-0.9.1: cannot save license (COMIX_CURSORS_LICENSE_FILES not defined) Legal info produced in /home/autobuild/autobuild/instance-4/output-1/legal-info make: Leaving directory '/home/autobuild/autobuild/instance-4/buildroot'