cd mace4.src && make all make[1]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src' libtool --tag=CC --mode=install /bin/cp mace4 `pwd`/../bin libtool: install: /bin/cp mace4 /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src/../bin/mace4 /bin/cp: cannot stat 'mace4': No such file or directory make[1]: *** [Makefile:47: install] Error 1 shuffle=3017164869 make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src' ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_desktop_systemd-j4-20221116-070020 ------------------------------------------------------------------- GNUMAKEFLAGS="$GNUMAKEFLAGS --shuffle" gcc-config -l: [1] x86_64-pc-linux-gnu-12 * clang/llvm (if any): /usr/lib/llvm/15 15.0.4 Python 3.10.8 Available Ruby profiles: [1] ruby27 (with Rubygems) [2] ruby31 (with Rubygems) * Available Rust versions: [1] rust-bin-1.65.0 * The Glorious Glasgow Haskell Compilation System, version 8.10.6 php cli (if any): [1] php8.1 * HEAD of ::gentoo commit a862722fc54ded710dbcb3657587e81aad5b7ecc Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Wed Nov 16 09:46:51 2022 +0000 2022-11-16 09:46:51 UTC emerge -qpvO sci-mathematics/prover9 [ebuild N ] sci-mathematics/prover9-2009.11a USE="-examples"
Created attachment 832939 [details] emerge-info.txt
Created attachment 832941 [details] emerge-history.txt
Created attachment 832943 [details] environment
Created attachment 832945 [details] etc.portage.tar.bz2
Created attachment 832947 [details] sci-mathematics:prover9-2009.11a:20221116-113037.log
Created attachment 832949 [details] temp.tar.bz2
