D: [iurt_root_command] chroot Installing /home/iurt/rpmbuild/SRPMS/ltl2ba-1.2-0.b1.3.mga8.src.rpm Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.3hGHTa + 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.2b1 + /usr/bin/gzip -dc /home/iurt/rpmbuild/SOURCES/ltl2ba-1.2b1.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd ltl2ba-1.2b1 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/bin/cat /home/iurt/rpmbuild/SOURCES/ltl2ba-1.1-mageia-format-security.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch + 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.k0p93a + umask 022 + cd /home/iurt/rpmbuild/BUILD + cd ltl2ba-1.2b1 + '[' 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 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:190:17: warning: ignoring return value of 'fgets' declared with attribute 'warn_unused_result' [-Wunused-result] 190 | 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 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 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 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 alternating.o alternating.c alternating.c: In function 'mk_alternating': alternating.c:436:83: warning: format '%i' expects argument of type 'int', but argument 3 has type '__time_t' {aka 'long int'} [-Wformat=] 436 | fprintf(tl_out, "\nBuilding and simplification of the alternating automaton: %i.%06is", | ~^ | | | int | %li 437 | t_diff.tv_sec, t_diff.tv_usec); | ~~~~~~~~~~~~~ | | | __time_t {aka long int} alternating.c:436:88: warning: format '%i' expects argument of type 'int', but argument 4 has type '__suseconds_t' {aka 'long int'} [-Wformat=] 436 | fprintf(tl_out, "\nBuilding and simplification of the alternating automaton: %i.%06is", | ~~~^ | | | int | %06li 437 | t_diff.tv_sec, t_diff.tv_usec); | ~~~~~~~~~~~~~~ | | | __suseconds_t {aka long int} 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 buchi.c: In function 'simplify_btrans': buchi.c:115:78: warning: format '%i' expects argument of type 'int', but argument 3 has type '__time_t' {aka 'long int'} [-Wformat=] 115 | fprintf(tl_out, "\nSimplification of the Buchi automaton - transitions: %i.%06is", | ~^ | | | int | %li 116 | t_diff.tv_sec, t_diff.tv_usec); | ~~~~~~~~~~~~~ | | | __time_t {aka long int} buchi.c:115:83: warning: format '%i' expects argument of type 'int', but argument 4 has type '__suseconds_t' {aka 'long int'} [-Wformat=] 115 | fprintf(tl_out, "\nSimplification of the Buchi automaton - transitions: %i.%06is", | ~~~^ | | | int | %06li 116 | t_diff.tv_sec, t_diff.tv_usec); | ~~~~~~~~~~~~~~ | | | __suseconds_t {aka long int} buchi.c: In function 'simplify_bstates': buchi.c:281:73: warning: format '%i' expects argument of type 'int', but argument 3 has type '__time_t' {aka 'long int'} [-Wformat=] 281 | fprintf(tl_out, "\nSimplification of the Buchi automaton - states: %i.%06is", | ~^ | | | int | %li 282 | t_diff.tv_sec, t_diff.tv_usec); | ~~~~~~~~~~~~~ | | | __time_t {aka long int} buchi.c:281:78: warning: format '%i' expects argument of type 'int', but argument 4 has type '__suseconds_t' {aka 'long int'} [-Wformat=] 281 | fprintf(tl_out, "\nSimplification of the Buchi automaton - states: %i.%06is", | ~~~^ | | | int | %06li 282 | t_diff.tv_sec, t_diff.tv_usec); | ~~~~~~~~~~~~~~ | | | __suseconds_t {aka long int} buchi.c: In function 'mk_buchi': buchi.c:676:56: warning: format '%i' expects argument of type 'int', but argument 3 has type '__time_t' {aka 'long int'} [-Wformat=] 676 | fprintf(tl_out, "\nBuilding the Buchi automaton : %i.%06is", | ~^ | | | int | %li 677 | t_diff.tv_sec, t_diff.tv_usec); | ~~~~~~~~~~~~~ | | | __time_t {aka long int} buchi.c:676:61: warning: format '%i' expects argument of type 'int', but argument 4 has type '__suseconds_t' {aka 'long int'} [-Wformat=] 676 | fprintf(tl_out, "\nBuilding the Buchi automaton : %i.%06is", | ~~~^ | | | int | %06li 677 | t_diff.tv_sec, t_diff.tv_usec); | ~~~~~~~~~~~~~~ | | | __suseconds_t {aka long int} 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 generalized.c: In function 'simplify_gtrans': generalized.c:154:90: warning: format '%i' expects argument of type 'int', but argument 3 has type '__time_t' {aka 'long int'} [-Wformat=] 154 | fprintf(tl_out, "\nSimplification of the generalized Buchi automaton - transitions: %i.%06is", | ~^ | | | int | %li 155 | t_diff.tv_sec, t_diff.tv_usec); | ~~~~~~~~~~~~~ | | | __time_t {aka long int} generalized.c:154:95: warning: format '%i' expects argument of type 'int', but argument 4 has type '__suseconds_t' {aka 'long int'} [-Wformat=] 154 | fprintf(tl_out, "\nSimplification of the generalized Buchi automaton - transitions: %i.%06is", | ~~~^ | | | int | %06li 155 | t_diff.tv_sec, t_diff.tv_usec); | ~~~~~~~~~~~~~~ | | | __suseconds_t {aka long int} generalized.c: In function 'simplify_gstates': generalized.c:247:85: warning: format '%i' expects argument of type 'int', but argument 3 has type '__time_t' {aka 'long int'} [-Wformat=] 247 | fprintf(tl_out, "\nSimplification of the generalized Buchi automaton - states: %i.%06is", | ~^ | | | int | %li 248 | t_diff.tv_sec, t_diff.tv_usec); | ~~~~~~~~~~~~~ | | | __time_t {aka long int} generalized.c:247:90: warning: format '%i' expects argument of type 'int', but argument 4 has type '__suseconds_t' {aka 'long int'} [-Wformat=] 247 | fprintf(tl_out, "\nSimplification of the generalized Buchi automaton - states: %i.%06is", | ~~~^ | | | int | %06li 248 | t_diff.tv_sec, t_diff.tv_usec); | ~~~~~~~~~~~~~~ | | | __suseconds_t {aka long int} generalized.c: In function 'mk_generalized': generalized.c:621:68: warning: format '%i' expects argument of type 'int', but argument 3 has type '__time_t' {aka 'long int'} [-Wformat=] 621 | fprintf(tl_out, "\nBuilding the generalized Buchi automaton : %i.%06is", | ~^ | | | int | %li 622 | t_diff.tv_sec, t_diff.tv_usec); | ~~~~~~~~~~~~~ | | | __time_t {aka long int} generalized.c:621:73: warning: format '%i' expects argument of type 'int', but argument 4 has type '__suseconds_t' {aka 'long int'} [-Wformat=] 621 | fprintf(tl_out, "\nBuilding the generalized Buchi automaton : %i.%06is", | ~~~^ | | | int | %06li 622 | t_diff.tv_sec, t_diff.tv_usec); | ~~~~~~~~~~~~~~ | | | __suseconds_t {aka long int} 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 /usr/bin/ld: generalized.o:/home/iurt/rpmbuild/BUILD/ltl2ba-1.2b1/generalized.c:47: multiple definition of `rank'; buchi.o:/home/iurt/rpmbuild/BUILD/ltl2ba-1.2b1/buchi.c:48: first defined here /usr/bin/ld: generalized.o:/home/iurt/rpmbuild/BUILD/ltl2ba-1.2b1/generalized.c:45: multiple definition of `scc_stack'; buchi.o:/home/iurt/rpmbuild/BUILD/ltl2ba-1.2b1/buchi.c:47: first defined here collect2: error: ld returned 1 exit status make: *** [Makefile:37: ltl2ba] Error 1 error: Bad exit status from /home/iurt/rpmbuild/tmp/rpm-tmp.k0p93a (%build) RPM build errors: Bad exit status from /home/iurt/rpmbuild/tmp/rpm-tmp.k0p93a (%build) I: [iurt_root_command] ERROR: chroot