D: [iurt_root_command] chroot warning: Found bdb_ro Packages database while attempting sqlite backend: using bdb_ro backend. Installing /home/iurt/rpmbuild/SRPMS/ltl2ba-1.3-1.mga9.src.rpm Building target platforms: aarch64 Building for target aarch64 Executing(%prep): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.fQc30a + umask 022 + cd /home/iurt/rpmbuild/BUILD + '[' 1 -eq 1 ']' + '[' 1 -eq 1 ']' + '[' 1 -eq 1 ']' + cd /home/iurt/rpmbuild/BUILD + rm -rf ltl2ba-1.3 + /usr/bin/gzip -dc /home/iurt/rpmbuild/SOURCES/ltl2ba-1.3.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd ltl2ba-1.3 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + iconv -f latin1 -t utf8 README + mv README.utf8 README + perl -pi -e 's/^(CFLAGS.*)-O3(.*)/$1\$\(RPM_OPT_FLAGS\)$2/' Makefile + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.697oJw + umask 022 + cd /home/iurt/rpmbuild/BUILD + cd ltl2ba-1.3 + '[' 1 -eq 1 ']' + '[' 1 -eq 1 ']' + /usr/bin/make -O -j8 V=1 VERBOSE=1 gcc -O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables -ansi -DNXT -c -o trans.o trans.c gcc -O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables -ansi -DNXT -c -o mem.o mem.c gcc -O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables -ansi -DNXT -c -o lex.o lex.c gcc -O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables -ansi -DNXT -c -o main.o main.c main.c: In function 'main': main.c:191:17: warning: ignoring return value of 'fgets' declared with attribute 'warn_unused_result' [-Wunused-result] 191 | fgets(formula, 4096, tl_out); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ gcc -O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables -ansi -DNXT -c -o rewrt.o rewrt.c gcc -O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables -ansi -DNXT -c -o set.o set.c gcc -O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables -ansi -DNXT -c -o cache.o cache.c gcc -O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables -ansi -DNXT -c -o parse.o parse.c gcc -O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables -ansi -DNXT -c -o alternating.o alternating.c gcc -O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables -ansi -DNXT -c -o buchi.o buchi.c gcc -O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables -ansi -DNXT -c -o generalized.o generalized.c gcc -O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables -ansi -DNXT -o ltl2ba parse.o lex.o main.o trans.o buchi.o set.o mem.o rewrt.o cache.o alternating.o generalized.o + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.rMX0gj + umask 022 + cd /home/iurt/rpmbuild/BUILD + '[' 1 -eq 1 ']' + '[' /home/iurt/rpmbuild/BUILDROOT/ltl2ba-1.3-1.mga9.aarch64 '!=' / ']' + rm -rf /home/iurt/rpmbuild/BUILDROOT/ltl2ba-1.3-1.mga9.aarch64 ++ dirname /home/iurt/rpmbuild/BUILDROOT/ltl2ba-1.3-1.mga9.aarch64 + mkdir -p /home/iurt/rpmbuild/BUILDROOT + mkdir /home/iurt/rpmbuild/BUILDROOT/ltl2ba-1.3-1.mga9.aarch64 + cd ltl2ba-1.3 + '[' 1 -eq 1 ']' + mkdir -p /home/iurt/rpmbuild/BUILDROOT/ltl2ba-1.3-1.mga9.aarch64/usr/bin + install -m 0755 ltl2ba /home/iurt/rpmbuild/BUILDROOT/ltl2ba-1.3-1.mga9.aarch64/usr/bin + /usr/bin/find-debuginfo -j8 --strict-build-id -m -i --build-id-seed 1.3-1.mga9 --unique-debug-suffix -1.3-1.mga9.aarch64 --unique-debug-src-base ltl2ba-1.3-1.mga9.aarch64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /home/iurt/rpmbuild/BUILD/ltl2ba-1.3 extracting debug info from /home/iurt/rpmbuild/BUILDROOT/ltl2ba-1.3-1.mga9.aarch64/usr/bin/ltl2ba dwz: ./usr/bin/ltl2ba-1.3-1.mga9.aarch64.debug: Unknown debugging section .debug_line_str original debug info size: 172kB, size after compression: 172kB /usr/bin/sepdebugcrcfix: Updated 0 CRC32s, 1 CRC32s did match. 242 blocks + /usr/lib/rpm/check-buildroot + '[' -n '' ']' + /usr/share/spec-helper/clean_files + '[' -n '' ']' + /usr/share/spec-helper/compress_files .xz + '[' -n '' ']' + /usr/share/spec-helper/relink_symlinks + '[' -n '' ']' + /usr/share/spec-helper/clean_perl + '[' -n '' ']' + /usr/share/spec-helper/lib_symlinks + '[' -n '' ']' + /usr/share/spec-helper/gprintify + '[' -n '' ']' + /usr/share/spec-helper/fix_mo + '[' -n '' ']' + /usr/share/spec-helper/fix_pamd + '[' -n '' ']' + /usr/share/spec-helper/remove_info_dir + '[' -n '' ']' + /usr/share/spec-helper/fix_eol + '[' -n '' ']' + /usr/share/spec-helper/check_desktop_files + '[' -n '' ']' + /usr/share/spec-helper/check_elf_files + /usr/lib/rpm/brp-python-bytecompile /usr/bin/python3 1 0 + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/brp-remove-la-files + /usr/lib/rpm/redhat/brp-mangle-shebangs Executing(%check): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.52uqST + umask 022 + cd /home/iurt/rpmbuild/BUILD + cd ltl2ba-1.3 + '[' 1 -eq 1 ']' + ./ltl2ba -f true never { /* true */ accept_init: if :: (1) -> goto accept_init fi; } + RPM_EC=0 ++ jobs -p + exit 0 Processing files: ltl2ba-1.3-1.mga9.aarch64 Executing(%doc): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.y1Ce3e + umask 022 + cd /home/iurt/rpmbuild/BUILD + cd ltl2ba-1.3 + DOCDIR=/home/iurt/rpmbuild/BUILDROOT/ltl2ba-1.3-1.mga9.aarch64/usr/share/doc/ltl2ba + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /home/iurt/rpmbuild/BUILDROOT/ltl2ba-1.3-1.mga9.aarch64/usr/share/doc/ltl2ba + cp -pr README /home/iurt/rpmbuild/BUILDROOT/ltl2ba-1.3-1.mga9.aarch64/usr/share/doc/ltl2ba + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.QPq647 + umask 022 + cd /home/iurt/rpmbuild/BUILD + cd ltl2ba-1.3 + LICENSEDIR=/home/iurt/rpmbuild/BUILDROOT/ltl2ba-1.3-1.mga9.aarch64/usr/share/licenses/ltl2ba + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /home/iurt/rpmbuild/BUILDROOT/ltl2ba-1.3-1.mga9.aarch64/usr/share/licenses/ltl2ba + cp -pr LICENSE /home/iurt/rpmbuild/BUILDROOT/ltl2ba-1.3-1.mga9.aarch64/usr/share/licenses/ltl2ba + RPM_EC=0 ++ jobs -p + exit 0 Provides: ltl2ba = 1.3-1.mga9 ltl2ba(aarch-64) = 1.3-1.mga9 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld-linux-aarch64.so.1()(64bit) ld-linux-aarch64.so.1(GLIBC_2.17)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.34)(64bit) Processing files: ltl2ba-debugsource-1.3-1.mga9.aarch64 Provides: ltl2ba-debugsource = 1.3-1.mga9 ltl2ba-debugsource(aarch-64) = 1.3-1.mga9 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: ltl2ba-debuginfo-1.3-1.mga9.aarch64 Provides: debuginfo(build-id) = c0bee6c3cb3a6b97b86ddf939ee8f32e4319788f ltl2ba-debuginfo = 1.3-1.mga9 ltl2ba-debuginfo(aarch-64) = 1.3-1.mga9 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: ltl2ba-debugsource(aarch-64) = 1.3-1.mga9 Checking for unpackaged file(s): /usr/lib/rpm/check-files /home/iurt/rpmbuild/BUILDROOT/ltl2ba-1.3-1.mga9.aarch64 Wrote: /home/iurt/rpmbuild/RPMS/aarch64/ltl2ba-1.3-1.mga9.aarch64.rpm Wrote: /home/iurt/rpmbuild/RPMS/aarch64/ltl2ba-debugsource-1.3-1.mga9.aarch64.rpm Wrote: /home/iurt/rpmbuild/RPMS/aarch64/ltl2ba-debuginfo-1.3-1.mga9.aarch64.rpm Executing(%clean): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.Nx3uO8 + umask 022 + cd /home/iurt/rpmbuild/BUILD + cd ltl2ba-1.3 + /usr/bin/rm -rf /home/iurt/rpmbuild/BUILDROOT/ltl2ba-1.3-1.mga9.aarch64 + RPM_EC=0 ++ jobs -p + exit 0 Executing(--clean): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.QKLVgm + umask 022 + cd /home/iurt/rpmbuild/BUILD + rm -rf ltl2ba-1.3 + RPM_EC=0 ++ jobs -p + exit 0 D: [iurt_root_command] Success!