Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 950238 - sci-mathematics/prover9-2009.11a-r2 - [go-1.24] [gcc-15] mace4.c:(<snip>) undefined reference to mace4_exit
Summary: sci-mathematics/prover9-2009.11a-r2 - [go-1.24] [gcc-15] mace4.c:(<snip>) und...
Status: CONFIRMED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Gentoo Science Mathematics related packages
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2025-02-24 18:02 UTC by Toralf Förster
Modified: 2025-02-24 18:03 UTC (History)
0 users

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


Attachments
emerge-info.txt (emerge-info.txt,18.42 KB, text/plain)
2025-02-24 18:02 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,118.30 KB, text/plain)
2025-02-24 18:03 UTC, Toralf Förster
Details
environment (environment,53.98 KB, text/plain)
2025-02-24 18:03 UTC, Toralf Förster
Details
etc.clang.tar.xz (etc.clang.tar.xz,1.20 KB, application/x-xz)
2025-02-24 18:03 UTC, Toralf Förster
Details
etc.portage.tar.xz (etc.portage.tar.xz,20.14 KB, application/x-xz)
2025-02-24 18:03 UTC, Toralf Förster
Details
qlist-info.txt (qlist-info.txt,250.96 KB, text/plain)
2025-02-24 18:03 UTC, Toralf Förster
Details
sci-mathematics:prover9-2009.11a-r2:20250224-094721.log (sci-mathematics:prover9-2009.11a-r2:20250224-094721.log,117.18 KB, text/plain)
2025-02-24 18:03 UTC, Toralf Förster
Details
temp.tar.xz (temp.tar.xz,13.10 KB, application/x-xz)
2025-02-24 18:03 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 2025-02-24 18:02:58 UTC
too long lines were shrinked:

make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src'
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a-r2/work/LADR-2009-11A/mace4.src'
libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -o mace4 mace4.o libmace4.a ../ladr/libladr.la
libtool: link: x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wl,-O1 -Wl,--as-needed -Wl,-z -Wl,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0 -o .libs/mace4 mace4.o  libmace4.a ../ladr/.libs/libladr.so -lm
/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: libmace4.a(print.o): warning: relocation against `Mace4_clock' in read-only section `.text'
/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: mace4.o: in function `mace4_sig_handler':
mace4.c:(.text+0x4c): undefined reference to `mace4_exit'
/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: mace4.c:(.text+0x7c): undefined reference to `mace4_exit'
/usr/lib/gcc/x86_64-pc-linux-gnu/15/../../../../x86_64-pc-linux-gnu/bin/ld: mace4.o: in function `main':

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 23.0-20250222-024002

  UNMASKED:

  [gcc-15] Requested by sam
  <sys-devel/gcc-15.0.9999:15

  [go-1.24] Requested by WilliamH - maybe block bug 950018
  <dev-lang/go-9999

  The attached etc.portage.tar.xz has all details.
  -------------------------------------------------------------------

gcc-config -l:
 [1] x86_64-pc-linux-gnu-15 *
clang version 19.1.7
llvm-config: 19.1.7
Python 3.12.9
go version go1.24.0 linux/amd64
  [1]   php8.2
  [2]   php8.3 *
Available Ruby profiles:
  (none found)
Available Rust versions:
  [1]   rust-bin-1.85.0
  [2]   rust-1.85.0 *
The following VMs are available for generation-2:
*)	Eclipse Temurin JDK 21.0.6_p7 [openjdk-bin-21]
2)	Eclipse Temurin JDK 8.442_p06 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8 
  [2]   openjdk-bin-21  system-vm


  HEAD of ::gentoo
commit 96acb2c566c56ec45a79a76d80e87a308ef54e76
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Mon Feb 24 08:33:37 2025 +0000

    2025-02-24 08:33:36 UTC

emerge -qpvO =sci-mathematics/prover9-2009.11a-r2
[ebuild  N    ] sci-mathematics/prover9-2009.11a-r2  USE="-examples"
Comment 1 Toralf Förster gentoo-dev 2025-02-24 18:02:58 UTC
Created attachment 919830 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2025-02-24 18:03:00 UTC
Created attachment 919831 [details]
emerge-history.txt
Comment 3 Toralf Förster gentoo-dev 2025-02-24 18:03:01 UTC
Created attachment 919832 [details]
environment
Comment 4 Toralf Förster gentoo-dev 2025-02-24 18:03:02 UTC
Created attachment 919833 [details]
etc.clang.tar.xz
Comment 5 Toralf Förster gentoo-dev 2025-02-24 18:03:02 UTC
Created attachment 919834 [details]
etc.portage.tar.xz
Comment 6 Toralf Förster gentoo-dev 2025-02-24 18:03:04 UTC
Created attachment 919835 [details]
qlist-info.txt
Comment 7 Toralf Förster gentoo-dev 2025-02-24 18:03:05 UTC
Created attachment 919836 [details]
sci-mathematics:prover9-2009.11a-r2:20250224-094721.log
Comment 8 Toralf Förster gentoo-dev 2025-02-24 18:03:06 UTC
Created attachment 919837 [details]
temp.tar.xz