* Package: sci-mathematics/otter-3.3-r3 * Repository: gentoo * 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 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'