sci-mathematics:ltl2ba-1.1:20201118-043201.log

sci-mathematics:ltl2ba-1.1:20201118-043201.log (text/plain), 12.93 KB, created by Toralf Förster on 2020-11-18 17:09:14 UTC

 * Package:    sci-mathematics/ltl2ba-1.1
 * Repository: science
 * Maintainer: [e-mail]
 * 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'