https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/ Issue: sci-mathematics/acl2-8.5-r1 fails to compile. Discovered on: amd64 (internal ref: clang-lld_tinderbox) System: CLANG-LLD (https://wiki.gentoo.org/wiki/Project:Tinderbox/Common_Issues_Helper#CLANG-LLD) Info about the issue: https://wiki.gentoo.org/wiki/Project:Tinderbox/Common_Issues_Helper#CF0014
Created attachment 886906 [details] build.log build log and emerge --info
> Compiling ...\nERROR: See make.log. Ago, please post the make.log
(In reply to Maciej Barć from comment #2) > > Compiling ...\nERROR: See make.log. > > Ago, please post the make.log first time that I see it, anyway could you please try if you can reproduce with clang+lld? If not I'll stop the tinderbox to manually compile acl2 and then post make.log
(In reply to Agostino Sarubbo from comment #3) > (In reply to Maciej Barć from comment #2) > > > Compiling ...\nERROR: See make.log. > > > > Ago, please post the make.log > > first time that I see it, anyway could you please try if you can reproduce > with clang+lld? > > If not I'll stop the tinderbox to manually compile acl2 and then post > make.log no need, it fails the same w/o clang+lld
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d9e393ff9fb2c2b47da0607b6b0a07a96417a53a commit d9e393ff9fb2c2b47da0607b6b0a07a96417a53a Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2024-03-07 17:14:12 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2024-03-07 17:38:03 +0000 sci-mathematics/acl2: restrict supported SBCL versions Closes: https://bugs.gentoo.org/926360 Signed-off-by: Maciej Barć <xgqt@gentoo.org> sci-mathematics/acl2/{acl2-8.5-r1.ebuild => acl2-8.5-r2.ebuild} | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-)
The bug has been referenced in the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7eac2a870a363d61a3e8f38f84d9e92ab69d0d15 commit 7eac2a870a363d61a3e8f38f84d9e92ab69d0d15 Author: Sam James <sam@gentoo.org> AuthorDate: 2024-11-10 15:29:26 +0000 Commit: Sam James <sam@gentoo.org> CommitDate: 2024-11-10 15:29:26 +0000 Revert "dev-lisp/sbcl: remove old versions" This reverts commit d8200d5a038d0cd1d8411f4ea697f91fe270b0de. sci-mathematics/acl2 needs an older version, revert to fix CI for now. Bug: https://bugs.gentoo.org/926360 Bug: https://bugs.gentoo.org/943183 Signed-off-by: Sam James <sam@gentoo.org> dev-lisp/sbcl/Manifest | 5 + dev-lisp/sbcl/sbcl-2.3.5.ebuild | 274 +++++++++++++++++++++++++++++++++++++++ dev-lisp/sbcl/sbcl-2.4.3.ebuild | 276 ++++++++++++++++++++++++++++++++++++++++ 3 files changed, 555 insertions(+)
it looks like the sbcl version restriction added via this bug is no longer needed. the acl2 bug report noted that sbcl switched back to returning t from (standard-character-p).
Probably better to discuss that on bug 943183.
