CI broke because old dev-lisp/sbcl got cleaned up. The restriction in acl2 was added in bug 926360. Looks like it's fixed upstream now? Can the fix be pulled in? Thanks.
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(+)
Thank you very much. Yes, for now the best thing is to revert this commit. But The Right Thing to do is to fix the problem on the acl2 side.
=sci-mathematics/acl2-8.5_p20240307 compiles perfectly well on top of =dev-lisp/sbcl-2.4.11. (or at least with USE='doc emacs' and USE='threads unicode zstd -debug -doc -source -system-bootstrap' )
Please check if acl2 compiles with sbcl-2.5.0. It should, because in it * (standard-char-p (code-char 10)) T no longer #\Newline If it does, please remove the upper bound on the sbcl versions from the ebuilds. Then we'll be able to finally clean the ancient sbcl-2.3.5.
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6377286dc26b7219dd66bbea37321ac885509a2e commit 6377286dc26b7219dd66bbea37321ac885509a2e Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2025-03-01 12:53:31 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2025-03-01 13:16:47 +0000 sci-mathematics/acl2: remove sbcl pin Closes: https://bugs.gentoo.org/943183 Signed-off-by: Maciej Barć <xgqt@gentoo.org> .../acl2/{acl2-8.5_p20240307.ebuild => acl2-8.5_p20240307-r1.ebuild} | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-)
