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"
Created attachment 866773 [details] emerge-info.txt
Created attachment 866774 [details] emerge-history.txt
Created attachment 866775 [details] environment
Created attachment 866776 [details] etc.clang.tar.xz
Created attachment 866777 [details] etc.portage.tar.xz
Created attachment 866778 [details] sci-mathematics:prover9-2009.11a:20230801-073734.log
Created attachment 866779 [details] temp.tar.xz