Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 707482 - sci-mathematics/otter-3.3-r3 : fails to build with -fno-common or gcc-10
Summary: sci-mathematics/otter-3.3-r3 : fails to build with -fno-common or gcc-10
Status: CONFIRMED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Science Related Packages
URL:
Whiteboard:
Keywords:
: 712384 (view as bug list)
Depends on:
Blocks: -fno-common
  Show dependency tree
 
Reported: 2020-01-30 19:27 UTC by Toralf Förster
Modified: 2020-03-13 19:57 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments
emerge-info.txt (emerge-info.txt,15.33 KB, text/plain)
2020-01-30 19:27 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,162.21 KB, text/plain)
2020-01-30 19:27 UTC, Toralf Förster
Details
environment (environment,46.04 KB, text/plain)
2020-01-30 19:27 UTC, Toralf Förster
Details
etc.portage.tbz2 (etc.portage.tbz2,18.60 KB, application/x-bzip)
2020-01-30 19:27 UTC, Toralf Förster
Details
sci-mathematics:otter-3.3-r3:20200130-140404.log (sci-mathematics:otter-3.3-r3:20200130-140404.log,74.11 KB, text/plain)
2020-01-30 19:27 UTC, Toralf Förster
Details
temp.tbz2 (temp.tbz2,15.66 KB, application/x-bzip)
2020-01-30 19:27 UTC, Toralf Förster
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Toralf Förster gentoo-dev 2020-01-30 19:27:22 UTC
  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

  -------------------------------------------------------------------

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_hardened-libressl_test-20200126-104546

  -------------------------------------------------------------------

  Please see the tracker bug for details.

gcc-config -l:
 [1] x86_64-pc-linux-gnu-9.2.0 *

clang:
clang version 9.0.1 
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/9/bin
llvm:
9.0.1
Available Python interpreters, in order of preference:
  [1]   python3.8
  [2]   python3.7
  [3]   python3.6
  [4]   python2.7 (fallback)
  [5]   pypy3 (fallback)

Available Rust versions:
  [1]   rust-1.40.0 *
java-config:
The following VMs are available for generation-2:
Available Java Virtual Machines:
  (none found)
ghc:
The Glorious Glasgow Haskell Compilation System, version 8.0.2

repository:
==> /var/db/repos/gentoo/metadata/timestamp.chk <==
Thu, 30 Jan 2020 12:08:44 +0000

emerge -qpvO sci-mathematics/otter
[ebuild  N    ] sci-mathematics/otter-3.3-r3
Comment 1 Toralf Förster gentoo-dev 2020-01-30 19:27:25 UTC
Created attachment 609214 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2020-01-30 19:27:28 UTC
Created attachment 609216 [details]
emerge-history.txt
Comment 3 Toralf Förster gentoo-dev 2020-01-30 19:27:30 UTC
Created attachment 609218 [details]
environment
Comment 4 Toralf Förster gentoo-dev 2020-01-30 19:27:33 UTC
Created attachment 609220 [details]
etc.portage.tbz2
Comment 5 Toralf Förster gentoo-dev 2020-01-30 19:27:36 UTC
Created attachment 609222 [details]
sci-mathematics:otter-3.3-r3:20200130-140404.log
Comment 6 Toralf Förster gentoo-dev 2020-01-30 19:27:39 UTC
Created attachment 609224 [details]
temp.tbz2
Comment 7 Toralf Förster gentoo-dev 2020-03-13 19:57:21 UTC
*** Bug 712384 has been marked as a duplicate of this bug. ***