[ ok ] >>> Source prepared. >>> Configuring source in /var/tmp/portage/app-emacs/proofgeneral-4.5/work/PG-4.5 ... >>> Source configured. >>> Compiling source in /var/tmp/portage/app-emacs/proofgeneral-4.5/work/PG-4.5 ... make -O -j4 compile doc.info /bin/sh: line 1: which: command not found (cd doc; make EMACS=Emacs executable not found info) **************************************************************** ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 23.0_no_multilib-20250222-063004 UNMASKED: [ffmpeg] Requested by sam =media-video/ffmpeg-7* [gcc-15] Requested by sam <sys-devel/gcc-15.0.9999:15 [go-1.24] Requested by WilliamH - maybe block bug 950018 <dev-lang/go-9999 The attached etc.portage.tar.xz has all details. ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-10 [2] x86_64-pc-linux-gnu-15 * clang version 19.1.7 llvm-config: 19.1.7 Python 3.12.9 go version go1.24.0 linux/amd64 Available Ruby profiles: [1] ruby32 (with Rubygems) [2] ruby33 (with Rubygems) [3] ruby34 (with Rubygems) * Available Rust versions: [1] rust-bin-1.85.0 * The following VMs are available for generation-2: 1) Eclipse Temurin JDK 17.0.14_p7 [openjdk-bin-17] *) Eclipse Temurin JDK 21.0.6_p7 [openjdk-bin-21] 3) Eclipse Temurin JDK 8.442_p06 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 [2] openjdk-bin-17 [3] openjdk-bin-21 system-vm HEAD of ::gentoo commit 64d05de539aa4cd3eebcdef1bb86f02cc86d68c2 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Mon Feb 24 16:05:43 2025 +0000 2025-02-24 16:05:43 UTC emerge -qpvO =app-emacs/proofgeneral-4.5 [ebuild N ] app-emacs/proofgeneral-4.5
Created attachment 919844 [details] emerge-info.txt
Created attachment 919845 [details] app-emacs:proofgeneral-4.5:20250224-174419.log
Created attachment 919846 [details] emerge-history.txt
Created attachment 919847 [details] environment
Created attachment 919848 [details] etc.clang.tar.xz
Created attachment 919849 [details] etc.portage.tar.xz
Created attachment 919850 [details] logs.tar.xz
Created attachment 919851 [details] qlist-info.txt.xz
Created attachment 919852 [details] temp.tar.xz
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6941dbd2a7392eac22e8cac0f41dc8cf75c77abe commit 6941dbd2a7392eac22e8cac0f41dc8cf75c77abe Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2025-03-11 18:43:42 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2025-03-11 18:55:58 +0000 app-emacs/proofgeneral: replace "which" with "command -v" Bug: https://github.com/ProofGeneral/PG/pull/812 Closes: https://bugs.gentoo.org/950240 Signed-off-by: Maciej Barć <xgqt@gentoo.org> .../files/proofgeneral-4.5-posix-no-which.patch | 40 ++++++++++++++++++++++ app-emacs/proofgeneral/proofgeneral-4.5.ebuild | 4 ++- 2 files changed, 43 insertions(+), 1 deletion(-)
