for (auto const & [e, w, t] : m_soft) {
                                       ^
make[3]: Entering directory '/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build'
make[3]: Leaving directory '/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build'
make[3]: Entering directory '/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build'
[ 92%] 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
/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/src/opt/wmax.cpp: In member function 'virtual lbool opt::wmax::operator()()':
/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/src/opt/wmax.cpp:64:38: warning: unused variable 't' [-Wunused-variable]
             for (auto const& [k, w, t] : m_soft)
                                      ^
[ 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
/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/src/tactic/portfolio/solver_subsumption_tactic.cpp: In member function 'void solver_subsumption_tactic::simplify(vector<std::pair<unsigned int, obj_ref<expr, ast_manager> > >&, unsigned_vector&)':
/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/src/tactic/portfolio/solver_subsumption_tactic.cpp:108:31: warning: unused variable 'p' [-Wunused-variable]
         for (auto const& [p, f] : post)
                               ^
/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/src/tactic/portfolio/solver_subsumption_tactic.cpp:113:31: warning: unused variable 'p' [-Wunused-variable]
         for (auto const& [p, f] : pre)
                               ^
make[3]: Leaving directory '/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build'
[ 92%] Built target opt
make[3]: Leaving directory '/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build'
[ 92%] Built target portfolio
make[3]: Entering directory '/home/giuliobenetti/autobuild/run/instance-3/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/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build/src/api/api_log_macros.h'
Generated '/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build/src/api/api_log_macros.cpp'
Generated '/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build/src/api/api_commands.cpp'
Generated '8'
make[3]: Leaving directory '/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build'
make[3]: Entering directory '/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build'
[ 92%] Building CXX object src/api/CMakeFiles/api.dir/api_arith.cpp.o
[ 92%] Building CXX object src/api/CMakeFiles/api.dir/api_algebraic.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_array.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/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build'
[ 96%] Built target api
make[3]: Entering directory '/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build'
[ 96%] Generating "/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build/src/api/dll/mem_initializer.cpp"
[ 96%] Generating "/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build/src/api/dll/gparams_register_modules.cpp"
[ 96%] Generating "/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build/src/api/dll/install_tactic.cpp"
make[3]: Entering directory '/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build'
[ 97%] Generating "/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build/src/shell/mem_initializer.cpp"
[ 97%] Generating "/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build/src/shell/gparams_register_modules.cpp"
INFO:root:Generated "/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build/src/api/dll/mem_initializer.cpp"
[ 97%] Generating "/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build/src/shell/install_tactic.cpp"
INFO:root:Generated "/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build/src/shell/mem_initializer.cpp"
INFO:root:Generated "/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build/src/api/dll/gparams_register_modules.cpp"
INFO:root:Generated "/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build/src/api/dll/install_tactic.cpp"
INFO:root:Generated "/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build/src/shell/gparams_register_modules.cpp"
make[3]: Leaving directory '/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build'
make[3]: Entering directory '/home/giuliobenetti/autobuild/run/instance-3/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
[ 98%] Building CXX object src/api/dll/CMakeFiles/api_dll.dir/mem_initializer.cpp.o
INFO:root:Generated "/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build/src/shell/install_tactic.cpp"
make[3]: Leaving directory '/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build'
make[3]: Entering directory '/home/giuliobenetti/autobuild/run/instance-3/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
[ 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
make[3]: Leaving directory '/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build'
[ 98%] Built target api_dll
make[3]: Entering directory '/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build'
make[3]: Leaving directory '/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build'
make[3]: Entering directory '/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build'
[ 98%] Linking CXX shared library ../libz3.so
In file included from /home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/src/shell/drat_frontend.cpp:21:0:
/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/src/sat/smt/arith_proof_checker.h: In member function 'void arith::proof_checker::mul(arith::proof_checker::row&, const rational&)':
/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/src/sat/smt/arith_proof_checker.h:73:30: warning: unused variable 'v' [-Wunused-variable]
             for (auto & [v, c] : r.m_coeffs)
                              ^
/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/src/sat/smt/arith_proof_checker.h: In member function 'void arith::proof_checker::cut(arith::proof_checker::row&)':
/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/src/sat/smt/arith_proof_checker.h:118:39: warning: unused variable 'v' [-Wunused-variable]
             for (auto const& [v, coeff] : r.m_coeffs)
                                       ^
/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/src/sat/smt/arith_proof_checker.h:122:38: warning: unused variable 'v' [-Wunused-variable]
                 for (auto & [v, coeff] : r.m_coeffs)
                                      ^
/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/src/sat/smt/arith_proof_checker.h:126:39: warning: unused variable 'v' [-Wunused-variable]
             for (auto const& [v, coeff] : r.m_coeffs)
                                       ^
[ 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
[100%] Building CXX object src/shell/CMakeFiles/shell.dir/lp_frontend.cpp.o
make[3]: Leaving directory '/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build'
[100%] Built target libz3
[100%] Linking CXX executable ../../z3
make[3]: Leaving directory '/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build'
[100%] Built target shell
make[2]: Leaving directory '/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build'
make[1]: Leaving directory '/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build'
>>> z3 4.11.2 Installing to staging directory
PATH="/home/giuliobenetti/autobuild/run/instance-3/output-1/host/bin:/home/giuliobenetti/autobuild/run/instance-3/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 -j5  DESTDIR=/home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot install/fast -C /home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2//buildroot-build
make[1]: Entering directory '/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build'
Install the project...
-- Install configuration: "Release"
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/lib/cmake/z3/Z3Targets.cmake
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/lib/cmake/z3/Z3Targets-release.cmake
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/lib/cmake/z3/Z3Config.cmake
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/lib/cmake/z3/Z3ConfigVersion.cmake
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/lib/pkgconfig/z3.pc
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/lib/libz3.so.4.11.2.0
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/lib/libz3.so.4.11
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/lib/libz3.so
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3_algebraic.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3_api.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3_ast_containers.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3_fixedpoint.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3_fpa.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3++.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3_macros.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3_optimization.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3_polynomial.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3_rcf.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3_v1.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3_spacer.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/include/z3_version.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/bin/z3
make[1]: Leaving directory '/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build'
>>> z3 4.11.2 Fixing libtool files
for la in $(find /home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/lib* -name "*.la"); do \
	cp -a "${la}" "${la}.fixed" && \
	/usr/bin/sed -i -e "s:/home/giuliobenetti/autobuild/run/instance-3/output-1:@BASE_DIR@:g" \
		-e "s:/home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot:@STAGING_DIR@:g" \
		 -e "s:/home/giuliobenetti/autobuild/run/instance-3/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/giuliobenetti/autobuild/run/instance-3/output-1/host/opt/ext-toolchain:g" \
		-e "s:@STAGING_DIR@:/home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot:g" \
		-e "s:@BASE_DIR@:/home/giuliobenetti/autobuild/run/instance-3/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/giuliobenetti/autobuild/run/instance-3/output-1/host/bin:/home/giuliobenetti/autobuild/run/instance-3/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 -j5  DESTDIR=/home/giuliobenetti/autobuild/run/instance-3/output-1/target install/fast -C /home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2//buildroot-build
make[1]: Entering directory '/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build'
Install the project...
-- Install configuration: "Release"
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/lib/cmake/z3/Z3Targets.cmake
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/lib/cmake/z3/Z3Targets-release.cmake
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/lib/cmake/z3/Z3Config.cmake
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/lib/cmake/z3/Z3ConfigVersion.cmake
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/lib/pkgconfig/z3.pc
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/lib/libz3.so.4.11.2.0
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/lib/libz3.so.4.11
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/lib/libz3.so
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/include/z3_algebraic.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/include/z3_api.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/include/z3_ast_containers.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/include/z3_fixedpoint.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/include/z3_fpa.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/include/z3.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/include/z3++.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/include/z3_macros.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/include/z3_optimization.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/include/z3_polynomial.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/include/z3_rcf.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/include/z3_v1.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/include/z3_spacer.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/include/z3_version.h
-- Installing: /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/bin/z3
make[1]: Leaving directory '/home/giuliobenetti/autobuild/run/instance-3/output-1/build/z3-4.11.2/buildroot-build'
>>>   Finalizing host directory
>>>   Finalizing target directory
mkdir -p /home/giuliobenetti/autobuild/run/instance-3/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=2'@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=2'@PKG_TARGET_CXXFLAGS@%g" -e "s%@TARGET_FCFLAGS@%'-Os', '-g0'@PKG_TARGET_FCFLAGS@%g"         -e "s%@TARGET_CC@%/home/giuliobenetti/autobuild/run/instance-3/output-1/host/bin/arm-linux-gnueabihf-gcc%g" -e "s%@TARGET_CXX@%/home/giuliobenetti/autobuild/run/instance-3/output-1/host/bin/arm-linux-gnueabihf-g++%g" -e "s%@TARGET_AR@%/home/giuliobenetti/autobuild/run/instance-3/output-1/host/bin/arm-linux-gnueabihf-gcc-ar%g" -e "s%@TARGET_FC@%/home/giuliobenetti/autobuild/run/instance-3/output-1/host/bin/arm-linux-gnueabihf-gfortran%g" -e "s%@TARGET_STRIP@%/home/giuliobenetti/autobuild/run/instance-3/output-1/host/bin/arm-linux-gnueabihf-strip%g" -e "s%@TARGET_ARCH@%arm%g" -e "s%@TARGET_CPU@%cortex-a8%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/giuliobenetti/autobuild/run/instance-3/output-1/host/bin/cmake%g" -e "s%@PKGCONF_HOST_BINARY@%/home/giuliobenetti/autobuild/run/instance-3/output-1/host/bin/pkgconf%g" -e "s%@HOST_DIR@%/home/giuliobenetti/autobuild/run/instance-3/output-1/host%g" -e "s%@STAGING_DIR@%/home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot%g" -e "s%@STATIC@%false%g" /home/giuliobenetti/autobuild/run/instance-3/buildroot/support/misc/cross-compilation.conf.in > /home/giuliobenetti/autobuild/run/instance-3/output-1/host/etc/meson/cross-compilation.conf.in
sed         -e "s%@TARGET_CC@%/home/giuliobenetti/autobuild/run/instance-3/output-1/host/bin/arm-linux-gnueabihf-gcc%g" -e "s%@TARGET_CXX@%/home/giuliobenetti/autobuild/run/instance-3/output-1/host/bin/arm-linux-gnueabihf-g++%g" -e "s%@TARGET_AR@%/home/giuliobenetti/autobuild/run/instance-3/output-1/host/bin/arm-linux-gnueabihf-gcc-ar%g" -e "s%@TARGET_FC@%/home/giuliobenetti/autobuild/run/instance-3/output-1/host/bin/arm-linux-gnueabihf-gfortran%g" -e "s%@TARGET_STRIP@%/home/giuliobenetti/autobuild/run/instance-3/output-1/host/bin/arm-linux-gnueabihf-strip%g" -e "s%@TARGET_ARCH@%arm%g" -e "s%@TARGET_CPU@%cortex-a8%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=2'%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=2'%g" -e "s%@BR2_CMAKE@%/home/giuliobenetti/autobuild/run/instance-3/output-1/host/bin/cmake%g" -e "s%@PKGCONF_HOST_BINARY@%/home/giuliobenetti/autobuild/run/instance-3/output-1/host/bin/pkgconf%g" -e "s%@HOST_DIR@%/home/giuliobenetti/autobuild/run/instance-3/output-1/host%g" -e "s%@STAGING_DIR@%/home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot%g" -e "s%@STATIC@%false%g" /home/giuliobenetti/autobuild/run/instance-3/buildroot/support/misc/cross-compilation.conf.in > /home/giuliobenetti/autobuild/run/instance-3/output-1/host/etc/meson/cross-compilation.conf
/usr/bin/sed -i -e '/# GENERIC_SERIAL$/s~^.*#~console::respawn:/sbin/getty -L  console 0 vt100 #~' /home/giuliobenetti/autobuild/run/instance-3/output-1/target/etc/inittab
/usr/bin/sed -i -e '/^#.*-o remount,rw \/$/s~^#\+~~' /home/giuliobenetti/autobuild/run/instance-3/output-1/target/etc/inittab
if grep -q CONFIG_ASH=y /home/giuliobenetti/autobuild/run/instance-3/output-1/build/busybox-1.35.0/.config; then grep -qsE '^/bin/ash$' /home/giuliobenetti/autobuild/run/instance-3/output-1/target/etc/shells || echo "/bin/ash" >> /home/giuliobenetti/autobuild/run/instance-3/output-1/target/etc/shells; fi
if grep -q CONFIG_HUSH=y /home/giuliobenetti/autobuild/run/instance-3/output-1/build/busybox-1.35.0/.config; then grep -qsE '^/bin/hush$' /home/giuliobenetti/autobuild/run/instance-3/output-1/target/etc/shells || echo "/bin/hush" >> /home/giuliobenetti/autobuild/run/instance-3/output-1/target/etc/shells; fi
rm -f /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/share/glib-2.0/schemas/*.xml /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/share/glib-2.0/schemas/*.dtd
/home/giuliobenetti/autobuild/run/instance-3/output-1/host/bin/glib-compile-schemas /home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot/usr/share/glib-2.0/schemas --targetdir=/home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/share/glib-2.0/schemas
No schema files found: doing nothing.
mkdir -p /home/giuliobenetti/autobuild/run/instance-3/output-1/target/etc
echo "buildroot" > /home/giuliobenetti/autobuild/run/instance-3/output-1/target/etc/hostname
/usr/bin/sed -i -e '$a \127.0.1.1\tbuildroot' -e '/^127.0.1.1/d' /home/giuliobenetti/autobuild/run/instance-3/output-1/target/etc/hosts
mkdir -p /home/giuliobenetti/autobuild/run/instance-3/output-1/target/etc
echo "Welcome to Buildroot" > /home/giuliobenetti/autobuild/run/instance-3/output-1/target/etc/issue
/usr/bin/sed -i -e s,^root:[^:]*:,root::, /home/giuliobenetti/autobuild/run/instance-3/output-1/target/etc/shadow
rm -f /home/giuliobenetti/autobuild/run/instance-3/output-1/target/bin/sh
if [ -x /home/giuliobenetti/autobuild/run/instance-3/output-1/target/sbin/swapon -a -x /home/giuliobenetti/autobuild/run/instance-3/output-1/target/sbin/swapoff ]; then /usr/bin/sed -i -e '/^#.*\/sbin\/swap/s/^#\+[[:blank:]]*//' /home/giuliobenetti/autobuild/run/instance-3/output-1/target/etc/inittab; else /usr/bin/sed -i -e '/^[^#].*\/sbin\/swap/s/^/#/' /home/giuliobenetti/autobuild/run/instance-3/output-1/target/etc/inittab; fi
printf '%s\n' C en_US locale-archive > /home/giuliobenetti/autobuild/run/instance-3/output-1/build/locales.nopurge
for dir in /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/share/locale /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/share/X11/locale /home/giuliobenetti/autobuild/run/instance-3/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/giuliobenetti/autobuild/run/instance-3/output-1/build/locales.nopurge || rm -rf $langdir; fi done; done
if [ -d /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/share/X11/locale ]; then for lang in C en_US; do if [ -f /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/share/X11/locale/$lang/XLC_LOCALE ]; then echo "$lang/XLC_LOCALE: $lang"; fi done > /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/share/X11/locale/locale.dir; fi
rm -rf /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/include /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/share/aclocal \
	/home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/lib/pkgconfig /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/share/pkgconfig \
	/home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/lib/cmake /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/share/cmake \
	/home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/lib/rpm /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/doc
find /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/{lib,share}/ -name '*.cmake' -print0 | xargs -0 rm -f
find /home/giuliobenetti/autobuild/run/instance-3/output-1/target/lib/ /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/lib/ /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/libexec/ \
	\( -name '*.a' -o -name '*.la' -o -name '*.prl' \) -print0 | xargs -0 rm -f
rm -rf /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/share/gdb
rm -rf /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/share/bash-completion
rm -rf /home/giuliobenetti/autobuild/run/instance-3/output-1/target/etc/bash_completion.d
rm -rf /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/share/zsh
rm -rf /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/man /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/share/man
rm -rf /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/info /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/share/info
rm -rf /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/doc /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/share/doc
rm -rf /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/share/gtk-doc
rmdir /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/share 2>/dev/null || true
rm -rf /home/giuliobenetti/autobuild/run/instance-3/output-1/target/lib/debug /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/lib/debug
find /home/giuliobenetti/autobuild/run/instance-3/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/giuliobenetti/autobuild/run/instance-3/output-1/host/bin/arm-linux-gnueabihf-strip --remove-section=.comment --remove-section=.note 2>/dev/null || true
find /home/giuliobenetti/autobuild/run/instance-3/output-1/target   \( -name 'ld-*.so*' -o -name 'libpthread*.so*' \) -print0 | xargs -0 -r /home/giuliobenetti/autobuild/run/instance-3/output-1/host/bin/arm-linux-gnueabihf-strip --remove-section=.comment --remove-section=.note --strip-debug 2>/dev/null || true
test -f /home/giuliobenetti/autobuild/run/instance-3/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/giuliobenetti/autobuild/run/instance-3/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/giuliobenetti/autobuild/run/instance-3/output-1/target/etc
( \
	echo "NAME=Buildroot"; \
	echo "VERSION=2021.02-9824-gf298729fc3e"; \
	echo "ID=buildroot"; \
	echo "VERSION_ID=2023.02-git"; \
	echo "PRETTY_NAME=\"Buildroot 2023.02-git\"" \
) >  /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr/lib/os-release
ln -sf ../usr/lib/os-release /home/giuliobenetti/autobuild/run/instance-3/output-1/target/etc
>>>   Sanitizing RPATH in target tree
PER_PACKAGE_DIR=/home/giuliobenetti/autobuild/run/instance-3/output-1/per-package /home/giuliobenetti/autobuild/run/instance-3/buildroot/support/scripts/fix-rpath target
touch /home/giuliobenetti/autobuild/run/instance-3/output-1/target/usr
ln -snf /home/giuliobenetti/autobuild/run/instance-3/output-1/host/arm-buildroot-linux-gnueabihf/sysroot /home/giuliobenetti/autobuild/run/instance-3/output-1/staging
make: Leaving directory '/home/giuliobenetti/autobuild/run/instance-3/buildroot'
make: Entering directory '/home/giuliobenetti/autobuild/run/instance-3/buildroot'
>>>   Buildroot 2021.02-9824-gf298729fc3e Collecting legal info
COPYING: OK (sha256: 9755181e27175cb3510b4da8629caa406fb355a19aa8e7d55f06bf8ab33323c4)
>>> toolchain-external  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-linaro-arm 2018.05 Collecting legal info
>>> toolchain  Collecting legal info
>>> atf 0.21 Collecting legal info
COPYING: OK (sha256: 2a15172ddf6386297734c9800c899e6e8dc16c5a03931dcf95a9ab321a24cfe4)
>>> 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)
>>> atk 2.38.0 Collecting legal info
COPYING: OK (sha256: d245807f90032872d1438d741ed21e2490e1175dc8aa3afa5ddb6c8e529b58e5)
>>> host-meson 0.64.1 Collecting legal info
COPYING: OK (sha256: cfc7749b96f63bd31c3c42b5c471bf756814053e847c10f3eb003417bc523d30)
>>> host-ninja 1.11.1.g95dee.kitware.jobserver-1 Collecting legal info
COPYING: OK (sha256: eb7e9ab9690124c5c9f42bdc81383d886a3dede26345b6ed15bbad7caf81f7ea)
>>> host-cmake 3.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.5.1 Collecting legal info
LICENSE: OK (sha256: db3f0246b1f9278f15845b99fec478b8b506eb76487993722f8c6e254285faf8)
>>> host-python3 3.11.0 Collecting legal info
LICENSE: OK (sha256: f03e17cd594c2085f66a454e695c7ebe5b4d3c0eff534f4f194abc2fd164621b)
>>> host-autoconf-archive 2021.02.19 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)
>>> libglib2 2.72.3 Collecting legal info
COPYING: OK (sha256: dc626520dcd53a22f727af3ee42c770e56c97a64fe3adb063799d8ab032fe551)
>>> host-libglib2 2.72.3 Collecting legal info
COPYING: OK (sha256: dc626520dcd53a22f727af3ee42c770e56c97a64fe3adb063799d8ab032fe551)
>>> host-gettext  Collecting legal info
>>> host-gettext-tiny 0.3.2 Collecting legal info
LICENSE: OK (sha256: 4c938aa3d8fa3c184bba5e87a8a2febc89560627c9d0567536879e3eca1a7b4f)
extra/COPYING: OK (sha256: e79e9c8a0c85d735ff98185918ec94ed7d175efc377012787aebcf3b80f0d90b)
>>> 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)
>>> libffi 3.4.4 Collecting legal info
LICENSE: OK (sha256: 2c9c2acb9743e6b007b91350475308aee44691d96aa20eacef8e199988c8c388)
>>> pcre 8.45 Collecting legal info
LICENCE: OK (sha256: 51b3dea44f63338b84b9c97b3d793826a8397309068cf9379a423216ab8ea5b2)
>>> 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)
>>> ncurses 6.1 Collecting legal info
COPYING: OK (sha256: 4d1fde61868c73776a539366dccf5d5a4857e7fd7299efb1f02e07c2afe9ea87)
>>> host-ncurses 6.1 Collecting legal info
COPYING: OK (sha256: 4d1fde61868c73776a539366dccf5d5a4857e7fd7299efb1f02e07c2afe9ea87)
>>> readline 8.1.2 Collecting legal info
COPYING: OK (sha256: 8ceb4b9ee5adedde47b31e975c1d90c73ad27b6b165a1dcd80c7c545eb65b903)
>>> zlib  Collecting legal info
>>> libzlib 1.2.13 Collecting legal info
LICENSE: OK (sha256: 845efc77857d485d91fb3e0b884aaa929368c717ae8186b66fe1ed2495753243)
>>> augeas 1.12.0 Collecting legal info
COPYING: OK (sha256: ca0061fc1381a3ab242310e4b3f56389f28e3d460eb2fd822ed7a21c6f030532)
>>> libxml2 2.10.3 Collecting legal info
Copyright: OK (sha256: c5c63674f8a83c4d2e385d96d1c670a03cb871ba2927755467017317878574bd)
>>> xz 5.2.7 Collecting legal info
COPYING: OK (sha256: bcb02973ef6e87ea73d331b3a80df7748407f17efdb784b61b47e0e610d3bb5c)
COPYING.GPLv2: OK (sha256: 8177f97513213526df2cf6184d8ff986c675afb514d4e68a404010521b880643)
COPYING.GPLv3: OK (sha256: 8ceb4b9ee5adedde47b31e975c1d90c73ad27b6b165a1dcd80c7c545eb65b903)
COPYING.LGPLv2.1: OK (sha256: dc626520dcd53a22f727af3ee42c770e56c97a64fe3adb063799d8ab032fe551)
>>> busybox 1.35.0 Collecting legal info
LICENSE: OK (sha256: bbfc9843646d483c334664f651c208b9839626891d8f17604db2146962f43548)
archival/libarchive/bz/LICENSE: OK (sha256: b5a136ed67798e51fe2e0ca0b2a21cb01b904ff0c9f7d563a6292e276607e58f)
>>> conntrack-tools 1.4.7 Collecting legal info
COPYING: OK (sha256: 91df39d1816bfb17a4dda2d3d2c83b1f6f2d38d53e53e41e8f97ad5ac46a0cad)
>>> host-bison 3.8.2 Collecting legal info
COPYING: OK (sha256: 3972dc9744f6499f0f9b2dbf76696f2ae7ad8af9b23dde66d6af86c9dfb36986)
>>> host-flex 2.6.4 Collecting legal info
COPYING: OK (sha256: 97fd685958d93be7f8dab939bb8161dbd6afb0718c63bfc337c24321aea44273)
>>> libnetfilter_conntrack 1.0.9 Collecting legal info
COPYING: OK (sha256: 91df39d1816bfb17a4dda2d3d2c83b1f6f2d38d53e53e41e8f97ad5ac46a0cad)
>>> libmnl 1.0.5 Collecting legal info
COPYING: OK (sha256: dc626520dcd53a22f727af3ee42c770e56c97a64fe3adb063799d8ab032fe551)
>>> libnfnetlink 1.0.2 Collecting legal info
COPYING: OK (sha256: 91df39d1816bfb17a4dda2d3d2c83b1f6f2d38d53e53e41e8f97ad5ac46a0cad)
>>> libnetfilter_cthelper 1.0.1 Collecting legal info
COPYING: OK (sha256: 91df39d1816bfb17a4dda2d3d2c83b1f6f2d38d53e53e41e8f97ad5ac46a0cad)
>>> libnetfilter_cttimeout 1.0.1 Collecting legal info
COPYING: OK (sha256: 91df39d1816bfb17a4dda2d3d2c83b1f6f2d38d53e53e41e8f97ad5ac46a0cad)
>>> libnetfilter_queue 1.0.5 Collecting legal info
COPYING: OK (sha256: 91df39d1816bfb17a4dda2d3d2c83b1f6f2d38d53e53e41e8f97ad5ac46a0cad)
>>> faifa 0.1 Collecting legal info
COPYING: OK (sha256: 9b62e4601b2b9cd5719a393e88ed71a8304048862502db765ed9d6ff8cf38c5e)
>>> libpcap 1.10.1 Collecting legal info
LICENSE: OK (sha256: 8a54594d257e14a5260ac770f1633516cb51e3fc28c40136ce2697014eda7afd)
>>> firmware-utils 86739f2b3ae9502368b89ef37fa6f31c42aad6f4 Collecting legal info
>>> openssl  Collecting legal info
>>> libopenssl 1.1.1q Collecting legal info
LICENSE: OK (sha256: c32913b33252e71190af2066f08115c69bc9fddadf3bf29296e20c835389841c)
>>> giflib 5.2.1 Collecting legal info
COPYING: OK (sha256: 0c9b7990ecdca88b676db232c226548ac408b279f550d424d996f0d83591dd8e)
>>> haveged 1.9.15 Collecting legal info
COPYING: OK (sha256: 8ceb4b9ee5adedde47b31e975c1d90c73ad27b6b165a1dcd80c7c545eb65b903)
>>> initscripts  Collecting legal info
>>> let-me-create 1.5.2 Collecting legal info
LICENSE: OK (sha256: 8ffc162e1435e810845b09a4c0d534df057a030f4c107778677b6621dc203426)
>>> libao 1.2.0 Collecting legal info
COPYING: OK (sha256: 32b1062f7da84967e7019d01ab805935caa7ab7321a7ced0e30ebe75e5df1670)
>>> libarchive 3.6.1 Collecting legal info
COPYING: OK (sha256: b2cdf763345de2de34cebf54394df3c61a105c3b71288603c251f2fa638200ba)
>>> libconfig 1.7.3 Collecting legal info
COPYING.LIB: OK (sha256: d80c9d084ebfb50ea1ed91bfbc2410d6ce542097a32c43b00781b83adcb8c77f)
>>> libks 1.8.0 Collecting legal info
copyright: OK (sha256: 1d1327f37b58a4c9ce520fcf9dd3f348c7c639229ee7aed41c47164a8f7836cd)
>>> libmodplug 0.8.9.0 Collecting legal info
COPYING: OK (sha256: 49942e7b3b175f549e751feb08b5270ca6f6c5fb7a1be9f9517db275ec32c92e)
>>> libnfc 1.8.0 Collecting legal info
COPYING: OK (sha256: 9ccf26cfe845e0eb8bb58053e47366e7ab6b697ae010f7650978d4b71b7d1fc1)
>>> libsndfile 1.1.0 Collecting legal info
COPYING: OK (sha256: ad01ea5cd2755f6048383c8d54c88459cd6fcb17757c5c8892f8c5ea060f6140)
>>> libupnp 1.14.13 Collecting legal info
COPYING: OK (sha256: c8b99423cad48bb44e2cf52a496361404290865eac259a82da6d1e4331ececb3)
>>> live555 2021.05.03 Collecting legal info
COPYING.LESSER: OK (sha256: da7eabb7bafdf7d3ae5e9f223aa5bdc1eece45ac569dc21b3b037520b4464768)
>>> ltris 1.2 Collecting legal info
COPYING: OK (sha256: 67f82e045cf7acfef853ea0f426575a8359161a0a325e19f02b529a87c4b6c34)
>>> sdl 1.2.15 Collecting legal info
COPYING: OK (sha256: bb117c0fbd7f57f64170b690285d7df07c2371b578e3b3cd3aa2e1155ef461a0)
>>> lv2 1.18.10 Collecting legal info
COPYING: OK (sha256: 1e6bb175e193608b767ff25a4ed68b82c4db599491cf0d2694435cf60e9a4841)
>>> mfoc 0.10.7 Collecting legal info
COPYING: OK (sha256: ab15fd526bd8dd18a9e77ebc139656bf4d33e97fc7238cd11bf60e2b9b8666c6)
>>> modplugtools 0.5.3 Collecting legal info
COPYING: OK (sha256: 8ceb4b9ee5adedde47b31e975c1d90c73ad27b6b165a1dcd80c7c545eb65b903)
>>> odhcploc 20111021 Collecting legal info
COPYING: OK (sha256: 092a5b7be2a7ff088be7ec99adf68629509911b66f304b8ea0c835cdc138d544)
>>> owfs 3.2p4 Collecting legal info
COPYING: OK (sha256: 1f0527ab035eefb5197c68633d06f50f5077c719d82a99344702ceaca29150b9)
COPYING.LIB: OK (sha256: 8a6601b893d5784d931b2ede64a406fac463acfbb7014914e27de4d6e68457c3)
>>> paho-mqtt-c 1.3.11 Collecting legal info
epl-v20: OK (sha256: 0becf16567beb77fa252b7664631dd177c8f9a1889e48995b45379c7130e5303)
edl-v10: OK (sha256: 83bbba033dc985487e321b6dfde111772affb73460be48726299fed3da684b1c)
LICENSE: OK (sha256: bc0f3f447097eb82a29ad6c2f4929572bb548b6bd4c9e38fde1bf131a771b7a0)
>>> paho-mqtt-cpp 1.2.0 Collecting legal info
epl-v10: OK (sha256: 44277b2bec6093e4ac313afec251a4de599d24c4e768f8574d95b13a9d2d97b5)
edl-v10: OK (sha256: 83bbba033dc985487e321b6dfde111772affb73460be48726299fed3da684b1c)
>>> host-patchelf 0.13 Collecting legal info
COPYING: OK (sha256: 8ceb4b9ee5adedde47b31e975c1d90c73ad27b6b165a1dcd80c7c545eb65b903)
>>> pixz 1.0.7 Collecting legal info
LICENSE: OK (sha256: d036806b4d1efee7c6d86276451c4d833e9798751417e25daae62dfbe348641b)
>>> pv 1.6.20 Collecting legal info
doc/COPYING: OK (sha256: 280e182171df3e9bb4a9b407326e88521151fcb8f4f8557255f26177d5900ccf)
>>> host-raspberrypi-usbboot 2021.07.01 Collecting legal info
LICENSE: OK (sha256: b40930bbcf80744c86c46a12bc9da056641d722716c378f5659b9e555ef833e1)
>>> host-libusb 1.0.26 Collecting legal info
COPYING: OK (sha256: 5df07007198989c622f5d41de8d703e7bef3d0e79d62e24332ee739a452af62a)
>>> host-rauc 1.8 Collecting legal info
COPYING: OK (sha256: dc626520dcd53a22f727af3ee42c770e56c97a64fe3adb063799d8ab032fe551)
>>> host-openssl  Collecting legal info
>>> host-libopenssl 1.1.1q Collecting legal info
LICENSE: OK (sha256: c32913b33252e71190af2066f08115c69bc9fddadf3bf29296e20c835389841c)
>>> host-squashfs 4.5.1 Collecting legal info
COPYING: OK (sha256: 8177f97513213526df2cf6184d8ff986c675afb514d4e68a404010521b880643)
>>> host-lz4 1.9.4 Collecting legal info
lib/LICENSE: OK (sha256: 8b58c446121a109ccf32edc094bba3010a3d85e4ee3702950db55e4d3e87736c)
programs/COPYING: OK (sha256: 8177f97513213526df2cf6184d8ff986c675afb514d4e68a404010521b880643)
>>> host-lzo 2.10 Collecting legal info
COPYING: OK (sha256: 8177f97513213526df2cf6184d8ff986c675afb514d4e68a404010521b880643)
>>> host-xz 5.2.7 Collecting legal info
COPYING: OK (sha256: bcb02973ef6e87ea73d331b3a80df7748407f17efdb784b61b47e0e610d3bb5c)
COPYING.GPLv2: OK (sha256: 8177f97513213526df2cf6184d8ff986c675afb514d4e68a404010521b880643)
COPYING.GPLv3: OK (sha256: 8ceb4b9ee5adedde47b31e975c1d90c73ad27b6b165a1dcd80c7c545eb65b903)
COPYING.LGPLv2.1: OK (sha256: dc626520dcd53a22f727af3ee42c770e56c97a64fe3adb063799d8ab032fe551)
>>> host-zstd 1.5.2 Collecting legal info
LICENSE: OK (sha256: 2c1a7fa704df8f3a606f6fc010b8b5aaebf403f3aeec339a12048f1ba7331a0b)
COPYING: OK (sha256: f9c375a1be4a41f7b70301dd83c91cb89e41567478859b77eef375a52d782505)
>>> host-sdbusplus 4212292bcf136d04b38ba5116aa568b0fa312798 Collecting legal info
LICENSE: OK (sha256: b40930bbcf80744c86c46a12bc9da056641d722716c378f5659b9e555ef833e1)
>>> host-python-inflection 0.5.1 Collecting legal info
LICENSE: OK (sha256: 9e9f9b4b2e7543ad1486f1328bf9ec50e5a5e2bb9caceb59652496dd61e64133)
>>> host-python-mako 1.2.3 Collecting legal info
LICENSE: OK (sha256: 760f22b3e9ea4a50eb99201bd8dd118869f28108cfb64ccce6d1b305cf9ae9fa)
>>> host-python-markupsafe 2.1.1 Collecting legal info
LICENSE.rst: OK (sha256: 489a8e1108509ed98a37bb983e11e0f7e1d31f0bd8f99a79c8448e7ff37d07ea)
>>> host-python-pyyaml 6.0 Collecting legal info
LICENSE: OK (sha256: 8d3928f9dc4490fd635707cb88eb26bd764102a7282954307d3e5167a577e8a4)
>>> host-libyaml 0.2.5 Collecting legal info
License: OK (sha256: c40112449f254b9753045925248313e9270efa36d226b22d82d4cc6c43c57f29)
>>> sl 5.02 Collecting legal info
LICENSE: OK (sha256: 72c7d262e2c9ddf019edc90af852a01a410338efff4e75e1c005b77ada4be7c4)
>>> swupdate 2022.05 Collecting legal info
LICENSES/BSD-1-Clause.txt: OK (sha256: 4cf04ed34ff0ebbf5c71345b56e6af5093fc17206364cca0ebbae92ef3940683)
LICENSES/BSD-3-Clause.txt: OK (sha256: e27a3e87706b3aa5ff2e50eaafe2e6ed5397fbf2d7679eaf444a6d000518a3a6)
LICENSES/CC0-1.0.txt: OK (sha256: 0558101984550fa84d1d13c2af11d116c20079d2be58711e8d99cadce7009192)
LICENSES/CC-BY-SA-4.0.txt: OK (sha256: cde7883b9050a1104f4ac19a1572aafd6e5d7323b68351aaf51fbf4beba54966)
LICENSES/GPL-2.0-only.txt: OK (sha256: 5d51b52a40391a26cbb2accf5dc5d1c165de49a022d9d5efb50b22204d2682ec)
LICENSES/GPL-2.0-or-later.txt: OK (sha256: 43fd695e9b198a9a4997cc2d02e10d26cae937e2c4930b9eff9c6d349c85cd32)
LICENSES/ISC.txt: OK (sha256: 492e801f1b0632185431472f148885a4fe8e990b10da57b4986a8bcf140a5374)
LICENSES/LGPL-2.1-or-later.txt: OK (sha256: dc626520dcd53a22f727af3ee42c770e56c97a64fe3adb063799d8ab032fe551)
LICENSES/MIT.txt: OK (sha256: 89807acf2309bd285f033404ee78581602f3cd9b819a16ac2f0e5f60ff4a473e)
LICENSES/OFL-1.1.txt: OK (sha256: 8f2368a292194be10b1223a8875815240a9208bb30785cb13d8849eb6a750fe9)
>>> trousers 0.3.15 Collecting legal info
LICENSE: OK (sha256: 1ad596d12e7471549663c03e280b5b5d084a2e853fb86e4d766109818f9d7dae)
>>> unrar 6.1.7 Collecting legal info
license.txt: OK (sha256: 6ecc1687808b7d66b24f874755abfed7464d9751ed0001cd4e8e5d9bf397ff8a)
>>> ushare 2.1 Collecting legal info
COPYING: OK (sha256: 231f7edcc7352d7734a96eef0b8030f77982678c516876fcb81e25b32d68564c)
>>> z3 4.11.2 Collecting legal info
LICENSE.txt: OK (sha256: e617cad2ab9347e3129c2b171e87909332174e17961c5c3412d0799469111337)
WARNING: the Buildroot source code has not been saved
WARNING: toolchain-external-linaro-arm-2018.05: cannot save license (TOOLCHAIN_EXTERNAL_LINARO_ARM_LICENSE_FILES not defined)
WARNING: firmware-utils-86739f2b3ae9502368b89ef37fa6f31c42aad6f4: cannot save license (FIRMWARE_UTILS_LICENSE_FILES not defined)
Legal info produced in /home/giuliobenetti/autobuild/run/instance-3/output-1/legal-info
make: Leaving directory '/home/giuliobenetti/autobuild/run/instance-3/buildroot'