https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/ Issue: sci-mathematics/eprover-3.0_pre008 calls ar directly. Discovered on: amd64 (internal ref: ci) NOTE: As per QA policy, toolchain tools must not be called directly because they can cause issue in cross-compiling and because is not possible use a different AR implementation (like llvm-ar). To reproduce, please use sys-devel/gcc-config[-native-symlinks], sys-devel/binutils-config[-native-symlinks].
Created attachment 847024 [details] build.log build log and emerge --info
Error(s) that match a know pattern: make[1]: *** No rule to make target '../lib/CONTRIB.a', needed by 'CSSCPA_filter'. Stop. make[1]: *** No rule to make target '../lib/CONTRIB.a', needed by 'eprover-ho'. Stop. make[2]: ar: No such file or directory
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e7417b60bbe948ef95486c7f3f139bc48351f2ff commit e7417b60bbe948ef95486c7f3f139bc48351f2ff Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2023-01-04 17:18:29 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2023-01-04 17:27:23 +0000 sci-mathematics/eprover: do not call ar/ranlib directly Closes: https://bugs.gentoo.org/889646 Signed-off-by: Maciej Barć <xgqt@gentoo.org> sci-mathematics/eprover/eprover-3.0_pre008.ebuild | 4 ++++ 1 file changed, 4 insertions(+)
