Bug 887409 – sci-mathematics/prover9-2009.11a - /.../ld: cannot find index_lits.o: No such file or directory

• Status: CONFIRMED
• Product: Gentoo Linux

[Description Toralf Förster 2022-12-20 11:02:54 UTC]

too long lines were shrinked:

libtool --tag=CC --mode=clean /bin/rm -f *.o
libtool: clean: rmdir .libs >/dev/null 2>&1
make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/provers.src'
x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2   -c -o newsax.o newsax.c
libtool --tag=CC --mode=link x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -o newsax newsax.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la
libtool: link: x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -o .libs/newsax newsax.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o  ../ladr/.libs/libladr.so -lm
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: cannot find index_lits.o: No such file or directory
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: cannot find forward_subsume.o: No such file or directory
/usr/lib/gcc/x86_64-pc-linux-gnu/12/../../../../x86_64-pc-linux-gnu/bin/ld: cannot find demodulate.o: No such file or directory

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_systemd-j4-20221219-070010

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

GNUMAKEFLAGS="$GNUMAKEFLAGS --jobserver-style=pipe"
GNUMAKEFLAGS="$GNUMAKEFLAGS --shuffle"
gcc-config -l:
 [1] x86_64-pc-linux-gnu-12 *
clang/llvm (if any):
clang version 15.0.6
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/15/bin
Configuration file: /etc/clang/clang.cfg
/usr/lib/llvm/15
15.0.6
Python 3.10.9
Available Rust versions:
  [1]   rust-bin-1.66.0 *
The following VMs are available for generation-2:
1)	Eclipse Temurin JDK 11.0.17_p8 [openjdk-bin-11]
*)	Eclipse Temurin JDK 17.0.5_p8 [openjdk-bin-17]
3)	Eclipse Temurin JDK 8.352_p08 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8 
  [2]   openjdk-bin-11 
  [3]   openjdk-bin-17  system-vm

php cli (if any):

  HEAD of ::gentoo
commit fd5492c60efca3f9aa4eb5b61b52a34b10850cd2
Author: Repository mirror & CI <[e-mail]>
Date:   Tue Dec 20 10:17:10 2022 +0000

    2022-12-20 10:17:09 UTC

emerge -qpvO sci-mathematics/prover9
[ebuild  N    ] sci-mathematics/prover9-2009.11a  USE="-examples"

[Comment 1 Toralf Förster 2022-12-20 11:02:55 UTC]

Created attachment 844083 [details]
emerge-info.txt

[Comment 2 Toralf Förster 2022-12-20 11:02:57 UTC]

Created attachment 844085 [details]
emerge-history.txt

[Comment 3 Toralf Förster 2022-12-20 11:02:58 UTC]

Created attachment 844087 [details]
environment

[Comment 4 Toralf Förster 2022-12-20 11:02:59 UTC]

Created attachment 844089 [details]
etc.clang.tar.bz2

[Comment 5 Toralf Förster 2022-12-20 11:03:00 UTC]

Created attachment 844091 [details]
etc.portage.tar.bz2

[Comment 6 Toralf Förster 2022-12-20 11:03:01 UTC]

Created attachment 844093 [details]
sci-mathematics:prover9-2009.11a:20221220-104335.log

[Comment 7 Toralf Förster 2022-12-20 11:03:02 UTC]

Created attachment 844095 [details]
temp.tar.bz2