Bug 911554

Summary:	sci-mathematics/prover9-2009.11a - /.../cp: cannot stat prover9: No such file or directory
Product:	Gentoo Linux	Reporter:	Toralf Förster <toralf>
Component:	Current packages	Assignee:	Gentoo Science Mathematics related packages <sci-mathematics>
Status:	CONFIRMED ---
Severity:	normal	CC:	sci-mathematics
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	emerge-info.txt emerge-history.txt environment etc.clang.tar.xz etc.portage.tar.xz sci-mathematics:prover9-2009.11a:20230801-073734.log temp.tar.xz

Description Toralf Förster gentoo-dev

2023-08-01 11:27:23 UTC

libtool: install: /bin/cp .libs/mace4 /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src/../bin/mace4
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src'
cd provers.src  && make all
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/provers.src'
libtool --tag=CC --mode=install /bin/cp -p prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr `pwd`/../bin
libtool: install: /bin/cp -p prover9 /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/provers.src/../bin/prover9
/bin/cp: cannot stat 'prover9': No such file or directory
make[1]: *** [Makefile:44: install] Error 1 shuffle=846865467
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/provers.src'

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_systemd_merged_usr-20230730-023704

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

GNUMAKEFLAGS="$GNUMAKEFLAGS --shuffle"
gcc-config -l:
 [1] x86_64-pc-linux-gnu-13 *
clang/llvm (if any):
clang version 16.0.6
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/16/bin
Configuration file: /etc/clang/clang.cfg
/usr/lib/llvm/16
16.0.6
Python 3.11.4
Available Ruby profiles:
  [1]   ruby31 (with Rubygems) *
php cli (if any):
go version go1.20.6 linux/amd64

  HEAD of ::gentoo
commit 144909cd7b0e83430a982d20d434ff822a944753
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Tue Aug 1 06:46:38 2023 +0000

    2023-08-01 06:46:38 UTC

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

Comment 1 Toralf Förster gentoo-dev

2023-08-01 11:27:24 UTC

Created attachment 866773 [details]
emerge-info.txt

Comment 2 Toralf Förster gentoo-dev

2023-08-01 11:27:25 UTC

Created attachment 866774 [details]
emerge-history.txt

Comment 3 Toralf Förster gentoo-dev

2023-08-01 11:27:26 UTC

Created attachment 866775 [details]
environment

Comment 4 Toralf Förster gentoo-dev

2023-08-01 11:27:27 UTC

Created attachment 866776 [details]
etc.clang.tar.xz

Comment 5 Toralf Förster gentoo-dev

2023-08-01 11:27:28 UTC

Created attachment 866777 [details]
etc.portage.tar.xz

Comment 6 Toralf Förster gentoo-dev

2023-08-01 11:27:29 UTC

Created attachment 866778 [details]
sci-mathematics:prover9-2009.11a:20230801-073734.log

Comment 7 Toralf Förster gentoo-dev

2023-08-01 11:27:30 UTC

Created attachment 866779 [details]
temp.tar.xz