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
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4d739c66f105c508c0eff3ac4d8d287debc86ae0 commit 4d739c66f105c508c0eff3ac4d8d287debc86ae0 Author: NHOrus <jy6x2b32pie9@yahoo.com> AuthorDate: 2025-02-23 19:34:55 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2025-02-23 22:23:16 +0000 sci-mathematics/prover9: Port to C99, fix parallel build. Add ints to implicitly-declared function parameters that are actually ints Remove all the cleans that were scattered around makefiles. They are useful for development only and only hinder packaged build. Pipe CFLAG to last place it's needed to be used, for linking a library. Closes: https://bugs.gentoo.org/728030 Closes: https://bugs.gentoo.org/871261 Closes: https://bugs.gentoo.org/881475 Closes: https://bugs.gentoo.org/886597 Closes: https://bugs.gentoo.org/887409 Closes: https://bugs.gentoo.org/911554 Signed-off-by: NHOrus <jy6x2b32pie9@yahoo.com> Closes: https://github.com/gentoo/gentoo/pull/40720 Signed-off-by: Maciej Barć <xgqt@gentoo.org> .../prover9/files/LADR-2009-11A-c99.patch | 25 ++++++ .../files/LADR-2009-11A-stable-ordering.patch | 91 ++++++++++++++++++++++ ...09.11a-r1.ebuild => prover9-2009.11a-r2.ebuild} | 9 ++- 3 files changed, 121 insertions(+), 4 deletions(-)
