sci-mathematics:otter-3.3-r3:20200130-140404.log

sci-mathematics:otter-3.3-r3:20200130-140404.log (text/plain), 74.11 KB, created by Toralf Förster on 2020-01-30 19:27:36 UTC

 * Package:    sci-mathematics/otter-3.3-r3
 * Repository: gentoo
 * 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 otter-3.3.tar.gz to /var/tmp/portage/sci-mathematics/otter-3.3-r3/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/otter-3.3-r3/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/otter-3.3-r3/work/otter-3.3 ...
 * Applying otter-3.3-build.patch ...
 [ ok ]
 * Applying otter-3.3-gold.patch ...
 [ ok ]
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/otter-3.3-r3/work/otter-3.3 ...
>>> Source configured.
>>> Compiling source in /var/tmp/portage/sci-mathematics/otter-3.3-r3/work/otter-3.3 ...
make -j1 -C source 
make: Entering directory '/var/tmp/portage/sci-mathematics/otter-3.3-r3/work/otter-3.3/source'
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o main.o main.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o av.o av.c
av.c: In function ‘free_context’:
av.c:475:55: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
  475 |       printf("ERROR, context %x, var %d not null.\n", (unsigned) p->contexts[i], i);
      |                                                       ^
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o io.o io.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o share.o share.c
share.c: In function ‘hash_term’:
share.c:44:18: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
   44 |       hashval ^= (int) r->argval; /* exclusive or */
      |                  ^
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o fpa.o fpa.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o clocks.o clocks.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o unify.o unify.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o demod.o demod.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o weight.o weight.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o imd.o imd.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o is.o is.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o clause.o clause.c
clause.c: In function ‘find_interactive_cl’:
clause.c:3294:7: warning: ignoring return value of ‘fscanf’, declared with attribute warn_unused_result [-Wunused-result]
 3294 |       fscanf(fin, "%s", s);
      |       ^~~~~~~~~~~~~~~~~~~~
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o options.o options.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o resolve.o resolve.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o index.o index.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o paramod.o paramod.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o formula.o formula.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o process.o process.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o misc.o misc.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o lrpo.o lrpo.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o linkur.o linkur.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o linkhyp.o linkhyp.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o foreign.o foreign.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o geometry.o geometry.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o hot.o hot.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o nonport.o nonport.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o check.o check.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o hints.o hints.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o hints2.o hints2.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o attrib.o attrib.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o case.o case.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o lisp.o lisp.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o ivy.o ivy.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o pickdiff.o pickdiff.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o overbeek.o overbeek.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o multijust.o multijust.c
In function ‘multi_map’,
    inlined from ‘multi_just_process’ at multijust.c:1340:3:
multijust.c:490:12: warning: argument 1 range [18446744071562067968, 18446744073709551615] exceeds maximum object size 9223372036854775807 [-Walloc-size-larger-than=]
  490 |   A_to_B = calloc(Asize, sizeof(int));
      |            ^~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from header.h:14,
                 from multijust.c:7:
multijust.c: In function ‘multi_just_process’:
/usr/include/stdlib.h:542:14: note: in a call to allocation function ‘calloc’ declared here
  542 | extern void *calloc (size_t __nmemb, size_t __size)
      |              ^~~~~~
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE    -c -o lists.o lists.c
ar rs libotter.a av.o io.o share.o fpa.o clocks.o unify.o demod.o weight.o imd.o is.o clause.o options.o resolve.o index.o paramod.o formula.o process.o misc.o lrpo.o linkur.o linkhyp.o foreign.o geometry.o hot.o nonport.o check.o hints.o hints2.o attrib.o case.o lisp.o ivy.o pickdiff.o overbeek.o multijust.o lists.o
ar: creating libotter.a
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE  -Wl,-O1 -Wl,--as-needed main.o libotter.a -o ../bin/otter
make -C formed clean
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/otter-3.3-r3/work/otter-3.3/source/formed'
/bin/rm -f *.o formed
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/otter-3.3-r3/work/otter-3.3/source/formed'
make -C formed
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/otter-3.3-r3/work/otter-3.3/source/formed'
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE  -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c -o formed.o formed.c
formed.c:16:1: warning: return type defaults to ‘int’ [-Wimplicit-int]
   16 | main(argc, argv)
      | ^~~~
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE  -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c -o display.o display.c
display.c:589:1: warning: return type defaults to ‘int’ [-Wimplicit-int]
  589 | setup_operator_pixmaps(font_string)
      | ^~~~~~~~~~~~~~~~~~~~~~
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE  -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c -o callback.o callback.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE  -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -Wl,-O1 -Wl,--as-needed formed.o display.o callback.o \
../libotter.a -L/usr/X11R6/lib -lXaw -lXt -lX11 -o formed
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/otter-3.3-r3/work/otter-3.3/source/formed'
make: Leaving directory '/var/tmp/portage/sci-mathematics/otter-3.3-r3/work/otter-3.3/source'
make -j1 -C mace2 
make: Entering directory '/var/tmp/portage/sci-mathematics/otter-3.3-r3/work/otter-3.3/mace2'
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_RUSAGE   -c -o mace2.o mace2.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_RUSAGE   -c -o clock.o clock.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_RUSAGE   -c -o avail.o avail.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_RUSAGE   -c -o opts.o opts.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_RUSAGE   -c -o stats.o stats.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_RUSAGE   -c -o miscellany.o miscellany.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_RUSAGE   -c -o flatten.o flatten.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_RUSAGE   -c -o dp.o dp.c
dp.c: In function ‘p_atom’:
dp.c:320:19: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
  320 |     printf("%x,", (unsigned) a->pos_occ[j]);
      |                   ^
dp.c:323:19: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
  323 |     printf("%x,", (unsigned) a->neg_occ[j]);
      |                   ^
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_RUSAGE   -c -o generate.o generate.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_RUSAGE   -c -o print.o print.c
print.c: In function ‘print_table_f1’:
print.c:119:5: warning: format not a string literal and no format arguments [-Wformat-security]
  119 |     fprintf(fp, s2);
      |     ^~~~~~~
print.c: In function ‘print_table_f2’:
print.c:156:5: warning: format not a string literal and no format arguments [-Wformat-security]
  156 |     fprintf(fp, s2);
      |     ^~~~~~~
print.c:164:2: warning: format not a string literal and no format arguments [-Wformat-security]
  164 |  fprintf(fp, s3);
      |  ^~~~~~~
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_RUSAGE   -c -o part.o part.c
x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-common -DTP_NAMES -DTP_SIGNAL -DTP_RUSAGE -Wl,-O1 -Wl,--as-needed mace2.o clock.o avail.o opts.o stats.o miscellany.o flatten.o dp.o generate.o print.o part.o ../source/libotter.a -o ../bin/mace2 
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x0): multiple definition of `Overbeek_world'; mace2.o:(.bss+0x10): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x8): multiple definition of `Max_input_id'; mace2.o:(.bss+0x18): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0xc): multiple definition of `Bell'; mace2.o:(.bss+0x1c): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x10): multiple definition of `Split_atoms'; mace2.o:(.bss+0x20): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x18): multiple definition of `Overbeek_terms'; mace2.o:(.bss+0x28): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x20): multiple definition of `Float_format'; mace2.o:(.bss+0x40): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x120): multiple definition of `Null_output'; mace2.o:(.bss+0x140): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x140): multiple definition of `User_functions'; mace2.o:(.bss+0x160): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x23a0): multiple definition of `Dots_sym_num'; mace2.o:(.bss+0x23c0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x23a4): multiple definition of `Chr_sym_num'; mace2.o:(.bss+0x23c4): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x23a8): multiple definition of `Ignore_sym_num'; mace2.o:(.bss+0x23c8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x23ac): multiple definition of `Nil_sym_num'; mace2.o:(.bss+0x23cc): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x23b0): multiple definition of `Cons_sym_num'; mace2.o:(.bss+0x23d0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x23c0): multiple definition of `Clocks'; mace2.o:(.bss+0x23e0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x2a00): multiple definition of `Subsume_count'; mace2.o:(.bss+0x2a20): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x2ba0): multiple definition of `Stats'; mace2.o:(.bss+0x2bc0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x2d40): multiple definition of `Internal_flags'; mace2.o:(.bss+0x2d60): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x2d80): multiple definition of `Parms'; mace2.o:(.bss+0x2da0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x36e0): multiple definition of `Flags'; mace2.o:(.bss+0x3700): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x4360): multiple definition of `Weight_terms_index'; mace2.o:(.bss+0x4380): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x4368): multiple definition of `Weight_pick_given_index'; mace2.o:(.bss+0x4388): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x4370): multiple definition of `Weight_purge_gen_index'; mace2.o:(.bss+0x4390): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x4378): multiple definition of `Weight_terms'; mace2.o:(.bss+0x4398): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x4380): multiple definition of `Weight_pick_given'; mace2.o:(.bss+0x43a0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x4388): multiple definition of `Weight_purge_gen'; mace2.o:(.bss+0x43a8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x4390): multiple definition of `Demod_imd'; mace2.o:(.bss+0x43b0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x4398): multiple definition of `Is_neg_lits'; mace2.o:(.bss+0x43b8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x43a0): multiple definition of `Is_pos_lits'; mace2.o:(.bss+0x43c0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x43a8): multiple definition of `Fpa_back_demod'; mace2.o:(.bss+0x43c8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x43b0): multiple definition of `Fpa_alphas'; mace2.o:(.bss+0x43d0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x43b8): multiple definition of `Fpa_clash_terms'; mace2.o:(.bss+0x43d8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x43c0): multiple definition of `Fpa_neg_lits'; mace2.o:(.bss+0x43e0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x43c8): multiple definition of `Fpa_pos_lits'; mace2.o:(.bss+0x43e8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x43d0): multiple definition of `Fpa_clash_neg_lits'; mace2.o:(.bss+0x43f0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x43d8): multiple definition of `Fpa_clash_pos_lits'; mace2.o:(.bss+0x43f8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x43e0): multiple definition of `Mace_constraints'; mace2.o:(.bss+0x4400): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x43e8): multiple definition of `Hints2'; mace2.o:(.bss+0x4408): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x43f0): multiple definition of `Hints'; mace2.o:(.bss+0x4410): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x43f8): multiple definition of `Hot'; mace2.o:(.bss+0x4418): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x4400): multiple definition of `Passive'; mace2.o:(.bss+0x4420): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x4408): multiple definition of `Demodulators'; mace2.o:(.bss+0x4428): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x4410): multiple definition of `Sos'; mace2.o:(.bss+0x4430): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: avail.o:(.bss+0x4418): multiple definition of `Usable'; mace2.o:(.bss+0x4438): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x3240): multiple definition of `Internal_flags'; mace2.o:(.bss+0x2d60): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x0): multiple definition of `MACE_Clocks'; clock.o:(.bss+0x0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x500): multiple definition of `Overbeek_world'; mace2.o:(.bss+0x10): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x508): multiple definition of `Max_input_id'; mace2.o:(.bss+0x18): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x50c): multiple definition of `Bell'; mace2.o:(.bss+0x1c): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x510): multiple definition of `Split_atoms'; mace2.o:(.bss+0x20): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x518): multiple definition of `Overbeek_terms'; mace2.o:(.bss+0x28): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x520): multiple definition of `Float_format'; mace2.o:(.bss+0x40): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x620): multiple definition of `Null_output'; mace2.o:(.bss+0x140): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x640): multiple definition of `User_functions'; mace2.o:(.bss+0x160): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x28a0): multiple definition of `Dots_sym_num'; mace2.o:(.bss+0x23c0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x28a4): multiple definition of `Chr_sym_num'; mace2.o:(.bss+0x23c4): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x28a8): multiple definition of `Ignore_sym_num'; mace2.o:(.bss+0x23c8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x28ac): multiple definition of `Nil_sym_num'; mace2.o:(.bss+0x23cc): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x28b0): multiple definition of `Cons_sym_num'; mace2.o:(.bss+0x23d0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x28c0): multiple definition of `Clocks'; mace2.o:(.bss+0x23e0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x2f00): multiple definition of `Subsume_count'; mace2.o:(.bss+0x2a20): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x30a0): multiple definition of `Stats'; mace2.o:(.bss+0x2bc0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x3280): multiple definition of `Parms'; mace2.o:(.bss+0x2da0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x3be0): multiple definition of `Flags'; mace2.o:(.bss+0x3700): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x4860): multiple definition of `Weight_terms_index'; mace2.o:(.bss+0x4380): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x4868): multiple definition of `Weight_pick_given_index'; mace2.o:(.bss+0x4388): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x4870): multiple definition of `Weight_purge_gen_index'; mace2.o:(.bss+0x4390): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x4878): multiple definition of `Weight_terms'; mace2.o:(.bss+0x4398): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x4880): multiple definition of `Weight_pick_given'; mace2.o:(.bss+0x43a0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x4888): multiple definition of `Weight_purge_gen'; mace2.o:(.bss+0x43a8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x4890): multiple definition of `Demod_imd'; mace2.o:(.bss+0x43b0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x4898): multiple definition of `Is_neg_lits'; mace2.o:(.bss+0x43b8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x48a0): multiple definition of `Is_pos_lits'; mace2.o:(.bss+0x43c0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x48a8): multiple definition of `Fpa_back_demod'; mace2.o:(.bss+0x43c8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x48b0): multiple definition of `Fpa_alphas'; mace2.o:(.bss+0x43d0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x48b8): multiple definition of `Fpa_clash_terms'; mace2.o:(.bss+0x43d8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x48c0): multiple definition of `Fpa_neg_lits'; mace2.o:(.bss+0x43e0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x48c8): multiple definition of `Fpa_pos_lits'; mace2.o:(.bss+0x43e8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x48d0): multiple definition of `Fpa_clash_neg_lits'; mace2.o:(.bss+0x43f0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x48d8): multiple definition of `Fpa_clash_pos_lits'; mace2.o:(.bss+0x43f8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x48e0): multiple definition of `Mace_constraints'; mace2.o:(.bss+0x4400): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x48e8): multiple definition of `Hints2'; mace2.o:(.bss+0x4408): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x48f0): multiple definition of `Hints'; mace2.o:(.bss+0x4410): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x48f8): multiple definition of `Hot'; mace2.o:(.bss+0x4418): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x4900): multiple definition of `Passive'; mace2.o:(.bss+0x4420): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x4908): multiple definition of `Demodulators'; mace2.o:(.bss+0x4428): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x4910): multiple definition of `Sos'; mace2.o:(.bss+0x4430): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: stats.o:(.bss+0x4918): multiple definition of `Usable'; mace2.o:(.bss+0x4438): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x0): multiple definition of `Overbeek_world'; mace2.o:(.bss+0x10): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x8): multiple definition of `Max_input_id'; mace2.o:(.bss+0x18): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0xc): multiple definition of `Bell'; mace2.o:(.bss+0x1c): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x10): multiple definition of `Split_atoms'; mace2.o:(.bss+0x20): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x18): multiple definition of `Overbeek_terms'; mace2.o:(.bss+0x28): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x20): multiple definition of `Float_format'; mace2.o:(.bss+0x40): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x120): multiple definition of `Null_output'; mace2.o:(.bss+0x140): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x140): multiple definition of `User_functions'; mace2.o:(.bss+0x160): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x23a0): multiple definition of `Dots_sym_num'; mace2.o:(.bss+0x23c0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x23a4): multiple definition of `Chr_sym_num'; mace2.o:(.bss+0x23c4): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x23a8): multiple definition of `Ignore_sym_num'; mace2.o:(.bss+0x23c8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x23ac): multiple definition of `Nil_sym_num'; mace2.o:(.bss+0x23cc): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x23b0): multiple definition of `Cons_sym_num'; mace2.o:(.bss+0x23d0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x23c0): multiple definition of `Clocks'; mace2.o:(.bss+0x23e0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x2a00): multiple definition of `Subsume_count'; mace2.o:(.bss+0x2a20): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x2ba0): multiple definition of `Stats'; mace2.o:(.bss+0x2bc0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x2d40): multiple definition of `Internal_flags'; mace2.o:(.bss+0x2d60): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x2d80): multiple definition of `Parms'; mace2.o:(.bss+0x2da0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x36e0): multiple definition of `Flags'; mace2.o:(.bss+0x3700): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x4360): multiple definition of `Weight_terms_index'; mace2.o:(.bss+0x4380): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x4368): multiple definition of `Weight_pick_given_index'; mace2.o:(.bss+0x4388): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x4370): multiple definition of `Weight_purge_gen_index'; mace2.o:(.bss+0x4390): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x4378): multiple definition of `Weight_terms'; mace2.o:(.bss+0x4398): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x4380): multiple definition of `Weight_pick_given'; mace2.o:(.bss+0x43a0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x4388): multiple definition of `Weight_purge_gen'; mace2.o:(.bss+0x43a8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x4390): multiple definition of `Demod_imd'; mace2.o:(.bss+0x43b0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x4398): multiple definition of `Is_neg_lits'; mace2.o:(.bss+0x43b8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x43a0): multiple definition of `Is_pos_lits'; mace2.o:(.bss+0x43c0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x43a8): multiple definition of `Fpa_back_demod'; mace2.o:(.bss+0x43c8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x43b0): multiple definition of `Fpa_alphas'; mace2.o:(.bss+0x43d0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x43b8): multiple definition of `Fpa_clash_terms'; mace2.o:(.bss+0x43d8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x43c0): multiple definition of `Fpa_neg_lits'; mace2.o:(.bss+0x43e0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x43c8): multiple definition of `Fpa_pos_lits'; mace2.o:(.bss+0x43e8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x43d0): multiple definition of `Fpa_clash_neg_lits'; mace2.o:(.bss+0x43f0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x43d8): multiple definition of `Fpa_clash_pos_lits'; mace2.o:(.bss+0x43f8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x43e0): multiple definition of `Mace_constraints'; mace2.o:(.bss+0x4400): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x43e8): multiple definition of `Hints2'; mace2.o:(.bss+0x4408): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x43f0): multiple definition of `Hints'; mace2.o:(.bss+0x4410): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x43f8): multiple definition of `Hot'; mace2.o:(.bss+0x4418): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x4400): multiple definition of `Passive'; mace2.o:(.bss+0x4420): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x4408): multiple definition of `Demodulators'; mace2.o:(.bss+0x4428): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x4410): multiple definition of `Sos'; mace2.o:(.bss+0x4430): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: miscellany.o:(.bss+0x4418): multiple definition of `Usable'; mace2.o:(.bss+0x4438): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x36e0): multiple definition of `Flags'; mace2.o:(.bss+0x3700): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x0): multiple definition of `Overbeek_world'; mace2.o:(.bss+0x10): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x8): multiple definition of `Max_input_id'; mace2.o:(.bss+0x18): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0xc): multiple definition of `Bell'; mace2.o:(.bss+0x1c): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x10): multiple definition of `Split_atoms'; mace2.o:(.bss+0x20): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x18): multiple definition of `Overbeek_terms'; mace2.o:(.bss+0x28): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x20): multiple definition of `Float_format'; mace2.o:(.bss+0x40): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x120): multiple definition of `Null_output'; mace2.o:(.bss+0x140): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x140): multiple definition of `User_functions'; mace2.o:(.bss+0x160): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x23a0): multiple definition of `Dots_sym_num'; mace2.o:(.bss+0x23c0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x23a4): multiple definition of `Chr_sym_num'; mace2.o:(.bss+0x23c4): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x23a8): multiple definition of `Ignore_sym_num'; mace2.o:(.bss+0x23c8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x23ac): multiple definition of `Nil_sym_num'; mace2.o:(.bss+0x23cc): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x23b0): multiple definition of `Cons_sym_num'; mace2.o:(.bss+0x23d0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x23c0): multiple definition of `Clocks'; mace2.o:(.bss+0x23e0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x2a00): multiple definition of `Subsume_count'; mace2.o:(.bss+0x2a20): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x2ba0): multiple definition of `Stats'; mace2.o:(.bss+0x2bc0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x2d40): multiple definition of `Internal_flags'; mace2.o:(.bss+0x2d60): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x2d80): multiple definition of `Parms'; mace2.o:(.bss+0x2da0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x4360): multiple definition of `Weight_terms_index'; mace2.o:(.bss+0x4380): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x4368): multiple definition of `Weight_pick_given_index'; mace2.o:(.bss+0x4388): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x4370): multiple definition of `Weight_purge_gen_index'; mace2.o:(.bss+0x4390): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x4378): multiple definition of `Weight_terms'; mace2.o:(.bss+0x4398): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x4380): multiple definition of `Weight_pick_given'; mace2.o:(.bss+0x43a0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x4388): multiple definition of `Weight_purge_gen'; mace2.o:(.bss+0x43a8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x4390): multiple definition of `Demod_imd'; mace2.o:(.bss+0x43b0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x4398): multiple definition of `Is_neg_lits'; mace2.o:(.bss+0x43b8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x43a0): multiple definition of `Is_pos_lits'; mace2.o:(.bss+0x43c0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x43a8): multiple definition of `Fpa_back_demod'; mace2.o:(.bss+0x43c8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x43b0): multiple definition of `Fpa_alphas'; mace2.o:(.bss+0x43d0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x43b8): multiple definition of `Fpa_clash_terms'; mace2.o:(.bss+0x43d8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x43c0): multiple definition of `Fpa_neg_lits'; mace2.o:(.bss+0x43e0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x43c8): multiple definition of `Fpa_pos_lits'; mace2.o:(.bss+0x43e8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x43d0): multiple definition of `Fpa_clash_neg_lits'; mace2.o:(.bss+0x43f0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x43d8): multiple definition of `Fpa_clash_pos_lits'; mace2.o:(.bss+0x43f8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x43e0): multiple definition of `Mace_constraints'; mace2.o:(.bss+0x4400): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x43e8): multiple definition of `Hints2'; mace2.o:(.bss+0x4408): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x43f0): multiple definition of `Hints'; mace2.o:(.bss+0x4410): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x43f8): multiple definition of `Hot'; mace2.o:(.bss+0x4418): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x4400): multiple definition of `Passive'; mace2.o:(.bss+0x4420): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x4408): multiple definition of `Demodulators'; mace2.o:(.bss+0x4428): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x4410): multiple definition of `Sos'; mace2.o:(.bss+0x4430): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: flatten.o:(.bss+0x4418): multiple definition of `Usable'; mace2.o:(.bss+0x4438): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x8): multiple definition of `Overbeek_world'; mace2.o:(.bss+0x10): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x10): multiple definition of `Max_input_id'; mace2.o:(.bss+0x18): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x14): multiple definition of `Bell'; mace2.o:(.bss+0x1c): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x18): multiple definition of `Split_atoms'; mace2.o:(.bss+0x20): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x20): multiple definition of `Overbeek_terms'; mace2.o:(.bss+0x28): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x40): multiple definition of `Float_format'; mace2.o:(.bss+0x40): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x140): multiple definition of `Null_output'; mace2.o:(.bss+0x140): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x160): multiple definition of `User_functions'; mace2.o:(.bss+0x160): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x23c0): multiple definition of `Dots_sym_num'; mace2.o:(.bss+0x23c0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x23c4): multiple definition of `Chr_sym_num'; mace2.o:(.bss+0x23c4): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x23c8): multiple definition of `Ignore_sym_num'; mace2.o:(.bss+0x23c8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x23cc): multiple definition of `Nil_sym_num'; mace2.o:(.bss+0x23cc): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x23d0): multiple definition of `Cons_sym_num'; mace2.o:(.bss+0x23d0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x23e0): multiple definition of `Clocks'; mace2.o:(.bss+0x23e0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x2a20): multiple definition of `Subsume_count'; mace2.o:(.bss+0x2a20): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x2bc0): multiple definition of `Stats'; mace2.o:(.bss+0x2bc0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x2d60): multiple definition of `Internal_flags'; mace2.o:(.bss+0x2d60): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x2da0): multiple definition of `Parms'; mace2.o:(.bss+0x2da0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x3700): multiple definition of `Flags'; mace2.o:(.bss+0x3700): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x4380): multiple definition of `Weight_terms_index'; mace2.o:(.bss+0x4380): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x4388): multiple definition of `Weight_pick_given_index'; mace2.o:(.bss+0x4388): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x4390): multiple definition of `Weight_purge_gen_index'; mace2.o:(.bss+0x4390): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x4398): multiple definition of `Weight_terms'; mace2.o:(.bss+0x4398): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x43a0): multiple definition of `Weight_pick_given'; mace2.o:(.bss+0x43a0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x43a8): multiple definition of `Weight_purge_gen'; mace2.o:(.bss+0x43a8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x43b0): multiple definition of `Demod_imd'; mace2.o:(.bss+0x43b0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x43b8): multiple definition of `Is_neg_lits'; mace2.o:(.bss+0x43b8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x43c0): multiple definition of `Is_pos_lits'; mace2.o:(.bss+0x43c0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x43c8): multiple definition of `Fpa_back_demod'; mace2.o:(.bss+0x43c8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x43d0): multiple definition of `Fpa_alphas'; mace2.o:(.bss+0x43d0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x43d8): multiple definition of `Fpa_clash_terms'; mace2.o:(.bss+0x43d8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x43e0): multiple definition of `Fpa_neg_lits'; mace2.o:(.bss+0x43e0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x43e8): multiple definition of `Fpa_pos_lits'; mace2.o:(.bss+0x43e8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x43f0): multiple definition of `Fpa_clash_neg_lits'; mace2.o:(.bss+0x43f0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x43f8): multiple definition of `Fpa_clash_pos_lits'; mace2.o:(.bss+0x43f8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x4400): multiple definition of `Mace_constraints'; mace2.o:(.bss+0x4400): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x4408): multiple definition of `Hints2'; mace2.o:(.bss+0x4408): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x4410): multiple definition of `Hints'; mace2.o:(.bss+0x4410): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x4418): multiple definition of `Hot'; mace2.o:(.bss+0x4418): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x4420): multiple definition of `Passive'; mace2.o:(.bss+0x4420): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x4428): multiple definition of `Demodulators'; mace2.o:(.bss+0x4428): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x4430): multiple definition of `Sos'; mace2.o:(.bss+0x4430): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: dp.o:(.bss+0x4438): multiple definition of `Usable'; mace2.o:(.bss+0x4438): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x6e78): multiple definition of `Usable'; mace2.o:(.bss+0x4438): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x6e70): multiple definition of `Sos'; mace2.o:(.bss+0x4430): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x6e68): multiple definition of `Demodulators'; mace2.o:(.bss+0x4428): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x6e60): multiple definition of `Passive'; mace2.o:(.bss+0x4420): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x6e58): multiple definition of `Hot'; mace2.o:(.bss+0x4418): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x6e50): multiple definition of `Hints'; mace2.o:(.bss+0x4410): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x4e20): multiple definition of `Clocks'; mace2.o:(.bss+0x23e0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x6e40): multiple definition of `Mace_constraints'; mace2.o:(.bss+0x4400): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x6140): multiple definition of `Flags'; mace2.o:(.bss+0x3700): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x57e0): multiple definition of `Parms'; mace2.o:(.bss+0x2da0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x2a48): multiple definition of `Overbeek_world'; mace2.o:(.bss+0x10): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x2a50): multiple definition of `Max_input_id'; mace2.o:(.bss+0x18): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x2a54): multiple definition of `Bell'; mace2.o:(.bss+0x1c): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x2a58): multiple definition of `Split_atoms'; mace2.o:(.bss+0x20): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x2a60): multiple definition of `Overbeek_terms'; mace2.o:(.bss+0x28): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x2a80): multiple definition of `Float_format'; mace2.o:(.bss+0x40): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x2b80): multiple definition of `Null_output'; mace2.o:(.bss+0x140): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x2ba0): multiple definition of `User_functions'; mace2.o:(.bss+0x160): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x4e00): multiple definition of `Dots_sym_num'; mace2.o:(.bss+0x23c0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x4e04): multiple definition of `Chr_sym_num'; mace2.o:(.bss+0x23c4): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x4e08): multiple definition of `Ignore_sym_num'; mace2.o:(.bss+0x23c8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x4e0c): multiple definition of `Nil_sym_num'; mace2.o:(.bss+0x23cc): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x4e10): multiple definition of `Cons_sym_num'; mace2.o:(.bss+0x23d0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x5460): multiple definition of `Subsume_count'; mace2.o:(.bss+0x2a20): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x5600): multiple definition of `Stats'; mace2.o:(.bss+0x2bc0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x57a0): multiple definition of `Internal_flags'; mace2.o:(.bss+0x2d60): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x6dc0): multiple definition of `Weight_terms_index'; mace2.o:(.bss+0x4380): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x6dc8): multiple definition of `Weight_pick_given_index'; mace2.o:(.bss+0x4388): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x6dd0): multiple definition of `Weight_purge_gen_index'; mace2.o:(.bss+0x4390): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x6dd8): multiple definition of `Weight_terms'; mace2.o:(.bss+0x4398): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x6de0): multiple definition of `Weight_pick_given'; mace2.o:(.bss+0x43a0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x6de8): multiple definition of `Weight_purge_gen'; mace2.o:(.bss+0x43a8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x6df0): multiple definition of `Demod_imd'; mace2.o:(.bss+0x43b0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x6df8): multiple definition of `Is_neg_lits'; mace2.o:(.bss+0x43b8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x6e00): multiple definition of `Is_pos_lits'; mace2.o:(.bss+0x43c0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x6e08): multiple definition of `Fpa_back_demod'; mace2.o:(.bss+0x43c8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x6e10): multiple definition of `Fpa_alphas'; mace2.o:(.bss+0x43d0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x6e18): multiple definition of `Fpa_clash_terms'; mace2.o:(.bss+0x43d8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x6e20): multiple definition of `Fpa_neg_lits'; mace2.o:(.bss+0x43e0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x6e28): multiple definition of `Fpa_pos_lits'; mace2.o:(.bss+0x43e8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x6e30): multiple definition of `Fpa_clash_neg_lits'; mace2.o:(.bss+0x43f0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x6e38): multiple definition of `Fpa_clash_pos_lits'; mace2.o:(.bss+0x43f8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: generate.o:(.bss+0x6e48): multiple definition of `Hints2'; mace2.o:(.bss+0x4408): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x0): multiple definition of `Overbeek_world'; mace2.o:(.bss+0x10): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x8): multiple definition of `Max_input_id'; mace2.o:(.bss+0x18): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0xc): multiple definition of `Bell'; mace2.o:(.bss+0x1c): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x10): multiple definition of `Split_atoms'; mace2.o:(.bss+0x20): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x18): multiple definition of `Overbeek_terms'; mace2.o:(.bss+0x28): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x20): multiple definition of `Float_format'; mace2.o:(.bss+0x40): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x120): multiple definition of `Null_output'; mace2.o:(.bss+0x140): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x140): multiple definition of `User_functions'; mace2.o:(.bss+0x160): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x23a0): multiple definition of `Dots_sym_num'; mace2.o:(.bss+0x23c0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x23a4): multiple definition of `Chr_sym_num'; mace2.o:(.bss+0x23c4): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x23a8): multiple definition of `Ignore_sym_num'; mace2.o:(.bss+0x23c8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x23ac): multiple definition of `Nil_sym_num'; mace2.o:(.bss+0x23cc): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x23b0): multiple definition of `Cons_sym_num'; mace2.o:(.bss+0x23d0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x23c0): multiple definition of `Clocks'; mace2.o:(.bss+0x23e0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x2a00): multiple definition of `Subsume_count'; mace2.o:(.bss+0x2a20): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x2ba0): multiple definition of `Stats'; mace2.o:(.bss+0x2bc0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x2d40): multiple definition of `Internal_flags'; mace2.o:(.bss+0x2d60): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x2d80): multiple definition of `Parms'; mace2.o:(.bss+0x2da0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x36e0): multiple definition of `Flags'; mace2.o:(.bss+0x3700): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x4360): multiple definition of `Weight_terms_index'; mace2.o:(.bss+0x4380): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x4368): multiple definition of `Weight_pick_given_index'; mace2.o:(.bss+0x4388): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x4370): multiple definition of `Weight_purge_gen_index'; mace2.o:(.bss+0x4390): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x4378): multiple definition of `Weight_terms'; mace2.o:(.bss+0x4398): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x4380): multiple definition of `Weight_pick_given'; mace2.o:(.bss+0x43a0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x4388): multiple definition of `Weight_purge_gen'; mace2.o:(.bss+0x43a8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x4390): multiple definition of `Demod_imd'; mace2.o:(.bss+0x43b0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x4398): multiple definition of `Is_neg_lits'; mace2.o:(.bss+0x43b8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x43a0): multiple definition of `Is_pos_lits'; mace2.o:(.bss+0x43c0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x43a8): multiple definition of `Fpa_back_demod'; mace2.o:(.bss+0x43c8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x43b0): multiple definition of `Fpa_alphas'; mace2.o:(.bss+0x43d0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x43b8): multiple definition of `Fpa_clash_terms'; mace2.o:(.bss+0x43d8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x43c0): multiple definition of `Fpa_neg_lits'; mace2.o:(.bss+0x43e0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x43c8): multiple definition of `Fpa_pos_lits'; mace2.o:(.bss+0x43e8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x43d0): multiple definition of `Fpa_clash_neg_lits'; mace2.o:(.bss+0x43f0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x43d8): multiple definition of `Fpa_clash_pos_lits'; mace2.o:(.bss+0x43f8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x43e0): multiple definition of `Mace_constraints'; mace2.o:(.bss+0x4400): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x43e8): multiple definition of `Hints2'; mace2.o:(.bss+0x4408): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x43f0): multiple definition of `Hints'; mace2.o:(.bss+0x4410): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x43f8): multiple definition of `Hot'; mace2.o:(.bss+0x4418): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x4400): multiple definition of `Passive'; mace2.o:(.bss+0x4420): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x4408): multiple definition of `Demodulators'; mace2.o:(.bss+0x4428): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x4410): multiple definition of `Sos'; mace2.o:(.bss+0x4430): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: print.o:(.bss+0x4418): multiple definition of `Usable'; mace2.o:(.bss+0x4438): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x0): multiple definition of `Overbeek_world'; mace2.o:(.bss+0x10): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x8): multiple definition of `Max_input_id'; mace2.o:(.bss+0x18): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0xc): multiple definition of `Bell'; mace2.o:(.bss+0x1c): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x10): multiple definition of `Split_atoms'; mace2.o:(.bss+0x20): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x18): multiple definition of `Overbeek_terms'; mace2.o:(.bss+0x28): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x20): multiple definition of `Float_format'; mace2.o:(.bss+0x40): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x120): multiple definition of `Null_output'; mace2.o:(.bss+0x140): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x140): multiple definition of `User_functions'; mace2.o:(.bss+0x160): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x23a0): multiple definition of `Dots_sym_num'; mace2.o:(.bss+0x23c0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x23a4): multiple definition of `Chr_sym_num'; mace2.o:(.bss+0x23c4): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x23a8): multiple definition of `Ignore_sym_num'; mace2.o:(.bss+0x23c8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x23ac): multiple definition of `Nil_sym_num'; mace2.o:(.bss+0x23cc): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x23b0): multiple definition of `Cons_sym_num'; mace2.o:(.bss+0x23d0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x23c0): multiple definition of `Clocks'; mace2.o:(.bss+0x23e0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x2a00): multiple definition of `Subsume_count'; mace2.o:(.bss+0x2a20): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x2ba0): multiple definition of `Stats'; mace2.o:(.bss+0x2bc0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x2d40): multiple definition of `Internal_flags'; mace2.o:(.bss+0x2d60): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x2d80): multiple definition of `Parms'; mace2.o:(.bss+0x2da0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x36e0): multiple definition of `Flags'; mace2.o:(.bss+0x3700): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x4360): multiple definition of `Weight_terms_index'; mace2.o:(.bss+0x4380): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x4368): multiple definition of `Weight_pick_given_index'; mace2.o:(.bss+0x4388): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x4370): multiple definition of `Weight_purge_gen_index'; mace2.o:(.bss+0x4390): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x4378): multiple definition of `Weight_terms'; mace2.o:(.bss+0x4398): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x4380): multiple definition of `Weight_pick_given'; mace2.o:(.bss+0x43a0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x4388): multiple definition of `Weight_purge_gen'; mace2.o:(.bss+0x43a8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x4390): multiple definition of `Demod_imd'; mace2.o:(.bss+0x43b0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x4398): multiple definition of `Is_neg_lits'; mace2.o:(.bss+0x43b8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x43a0): multiple definition of `Is_pos_lits'; mace2.o:(.bss+0x43c0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x43a8): multiple definition of `Fpa_back_demod'; mace2.o:(.bss+0x43c8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x43b0): multiple definition of `Fpa_alphas'; mace2.o:(.bss+0x43d0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x43b8): multiple definition of `Fpa_clash_terms'; mace2.o:(.bss+0x43d8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x43c0): multiple definition of `Fpa_neg_lits'; mace2.o:(.bss+0x43e0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x43c8): multiple definition of `Fpa_pos_lits'; mace2.o:(.bss+0x43e8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x43d0): multiple definition of `Fpa_clash_neg_lits'; mace2.o:(.bss+0x43f0): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x43d8): multiple definition of `Fpa_clash_pos_lits'; mace2.o:(.bss+0x43f8): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x43e0): multiple definition of `Mace_constraints'; mace2.o:(.bss+0x4400): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x43e8): multiple definition of `Hints2'; mace2.o:(.bss+0x4408): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x43f0): multiple definition of `Hints'; mace2.o:(.bss+0x4410): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x43f8): multiple definition of `Hot'; mace2.o:(.bss+0x4418): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x4400): multiple definition of `Passive'; mace2.o:(.bss+0x4420): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x4408): multiple definition of `Demodulators'; mace2.o:(.bss+0x4428): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x4410): multiple definition of `Sos'; mace2.o:(.bss+0x4430): first defined here
/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: part.o:(.bss+0x4418): multiple definition of `Usable'; mace2.o:(.bss+0x4438): first defined here
collect2: error: ld returned 1 exit status
make: *** [Makefile:18: mace2] Error 1
make: Leaving directory '/var/tmp/portage/sci-mathematics/otter-3.3-r3/work/otter-3.3/mace2'
 * ERROR: sci-mathematics/otter-3.3-r3::gentoo failed (compile phase):
 *   emake failed
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/otter-3.3-r3::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/otter-3.3-r3::gentoo'`.
 * The complete build log is located at '/var/log/portage/sci-mathematics:otter-3.3-r3:20200130-140404.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/otter-3.3-r3/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/otter-3.3-r3/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/otter-3.3-r3/work/otter-3.3'
 * S: '/var/tmp/portage/sci-mathematics/otter-3.3-r3/work/otter-3.3'