* Package: sci-mathematics/ltl2ba-1.1 * Repository: science * Maintainer: sci@gentoo.org * USE: abi_x86_64 amd64 elibc_glibc kernel_linux userland_GNU * FEATURES: network-sandbox preserve-libs sandbox userpriv usersandbox >>> Unpacking source... >>> Unpacking ltl2ba-1.1.tar.gz to /var/tmp/portage/sci-mathematics/ltl2ba-1.1/work >>> Source unpacked in /var/tmp/portage/sci-mathematics/ltl2ba-1.1/work >>> Preparing source in /var/tmp/portage/sci-mathematics/ltl2ba-1.1/work/ltl2ba-1.1 ... >>> Source prepared. >>> Configuring source in /var/tmp/portage/sci-mathematics/ltl2ba-1.1/work/ltl2ba-1.1 ... >>> Source configured. >>> Compiling source in /var/tmp/portage/sci-mathematics/ltl2ba-1.1/work/ltl2ba-1.1 ... make -j1 cc -O2 -pipe -march=native -fno-diagnostics-color -ansi -DNXT -c -o parse.o parse.c cc -O2 -pipe -march=native -fno-diagnostics-color -ansi -DNXT -c -o lex.o lex.c cc -O2 -pipe -march=native -fno-diagnostics-color -ansi -DNXT -c -o main.o main.c main.c: In function ‘non_fatal’: main.c:322:3: warning: format not a string literal and no format arguments [-Wformat-security] 322 | printf(s1); | ^~~~~~ 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); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ cc -O2 -pipe -march=native -fno-diagnostics-color -ansi -DNXT -c -o trans.o trans.c cc -O2 -pipe -march=native -fno-diagnostics-color -ansi -DNXT -c -o buchi.o buchi.c buchi.c: In function ‘simplify_btrans’: buchi.c:113:78: warning: format ‘%i’ expects argument of type ‘int’, but argument 3 has type ‘__time_t’ {aka ‘long int’} [-Wformat=] 113 | out, "\nSimplification of the Buchi automaton - transitions: %i.%06is", | ~^ | | | int | %li 114 | , t_diff.tv_usec); | buchi.c:113:83: warning: format ‘%i’ expects argument of type ‘int’, but argument 4 has type ‘__suseconds_t’ {aka ‘long int’} [-Wformat=] 113 | out, "\nSimplification of the Buchi automaton - transitions: %i.%06is", | ~~~^ | | | int | %06li 114 | , t_diff.tv_usec); | ~~~~~~~~~~~~~~ | | | __suseconds_t {aka long int} buchi.c: In function ‘simplify_bstates’: buchi.c:228:73: warning: format ‘%i’ expects argument of type ‘int’, but argument 3 has type ‘__time_t’ {aka ‘long int’} [-Wformat=] 228 | f(tl_out, "\nSimplification of the Buchi automaton - states: %i.%06is", | ~^ | | | int | %li 229 | v_sec, t_diff.tv_usec); | ~~~~~ buchi.c:228:78: warning: format ‘%i’ expects argument of type ‘int’, but argument 4 has type ‘__suseconds_t’ {aka ‘long int’} [-Wformat=] 228 | f(tl_out, "\nSimplification of the Buchi automaton - states: %i.%06is", | ~~~^ | | | int | %06li 229 | v_sec, t_diff.tv_usec); | ~~~~~~~~~~~~~~ | | | __suseconds_t {aka long int} buchi.c: In function ‘mk_buchi’: buchi.c:623:56: warning: format ‘%i’ expects argument of type ‘int’, but argument 3 has type ‘__time_t’ {aka ‘long int’} [-Wformat=] 623 | fprintf(tl_out, "\nBuilding the Buchi automaton : %i.%06is", | ~^ | | | int | %li 624 | t_diff.tv_sec, t_diff.tv_usec); | ~~~~~~~~~~~~~ | | | __time_t {aka long int} buchi.c:623:61: warning: format ‘%i’ expects argument of type ‘int’, but argument 4 has type ‘__suseconds_t’ {aka ‘long int’} [-Wformat=] 623 | fprintf(tl_out, "\nBuilding the Buchi automaton : %i.%06is", | ~~~^ | | | int | %06li 624 | t_diff.tv_sec, t_diff.tv_usec); | ~~~~~~~~~~~~~~ | | | __suseconds_t {aka long int} cc -O2 -pipe -march=native -fno-diagnostics-color -ansi -DNXT -c -o set.o set.c cc -O2 -pipe -march=native -fno-diagnostics-color -ansi -DNXT -c -o mem.o mem.c cc -O2 -pipe -march=native -fno-diagnostics-color -ansi -DNXT -c -o rewrt.o rewrt.c cc -O2 -pipe -march=native -fno-diagnostics-color -ansi -DNXT -c -o cache.o cache.c cc -O2 -pipe -march=native -fno-diagnostics-color -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 | "\nBuilding and simplification of the alternating automaton: %i.%06is", | ~^ | | | int | %li 437 | iff.tv_usec); | alternating.c:436:88: warning: format ‘%i’ expects argument of type ‘int’, but argument 4 has type ‘__suseconds_t’ {aka ‘long int’} [-Wformat=] 436 | "\nBuilding and simplification of the alternating automaton: %i.%06is", | ~~~^ | | | int | %06li 437 | iff.tv_usec); | ~~~~~~~~~~~ | | | __suseconds_t {aka long int} cc -O2 -pipe -march=native -fno-diagnostics-color -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 | lification of the generalized Buchi automaton - transitions: %i.%06is", | ~^ | | | int | %li 155 | usec); | generalized.c:154:95: warning: format ‘%i’ expects argument of type ‘int’, but argument 4 has type ‘__suseconds_t’ {aka ‘long int’} [-Wformat=] 154 | lification of the generalized Buchi automaton - transitions: %i.%06is", | ~~~^ | | | int | %06li 155 | usec); | ~~~~ 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 | nSimplification of the generalized Buchi automaton - states: %i.%06is", | ~^ | | | int | %li 248 | f.tv_usec); | generalized.c:247:90: warning: format ‘%i’ expects argument of type ‘int’, but argument 4 has type ‘__suseconds_t’ {aka ‘long int’} [-Wformat=] 247 | nSimplification of the generalized Buchi automaton - states: %i.%06is", | ~~~^ | | | int | %06li 248 | f.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 | printf(tl_out, "\nBuilding the generalized Buchi automaton : %i.%06is", | ~^ | | | int | %li 622 | iff.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 | printf(tl_out, "\nBuilding the generalized Buchi automaton : %i.%06is", | ~~~^ | | | int | %06li 622 | iff.tv_sec, t_diff.tv_usec); | ~~~~~~~~~~~~~~ | | | __suseconds_t {aka long int} cc -O2 -pipe -march=native -fno-diagnostics-color -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/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generalized.o:(.bss+0x10): multiple definition of `rank'; buchi.o:(.bss+0x0): first defined here /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generalized.o:(.bss+0x38): multiple definition of `scc_stack'; buchi.o:(.bss+0x10): first defined here collect2: error: ld returned 1 exit status make: *** [Makefile:37: ltl2ba] Error 1 * ERROR: sci-mathematics/ltl2ba-1.1::science failed (compile phase): * emake failed * * If you need support, post the output of `emerge --info '=sci-mathematics/ltl2ba-1.1::science'`, * the complete build log and the output of `emerge -pqv '=sci-mathematics/ltl2ba-1.1::science'`. * The complete build log is located at '/var/log/portage/sci-mathematics:ltl2ba-1.1:20201118-043201.log'. * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/ltl2ba-1.1/temp/build.log'. * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/ltl2ba-1.1/temp/environment'. * Working directory: '/var/tmp/portage/sci-mathematics/ltl2ba-1.1/work/ltl2ba-1.1' * S: '/var/tmp/portage/sci-mathematics/ltl2ba-1.1/work/ltl2ba-1.1'