Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 926360 - sci-mathematics/acl2-8.5-r1 fails to compile
Summary: sci-mathematics/acl2-8.5-r1 fails to compile
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Science Mathematics related packages
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2024-03-07 14:50 UTC by Agostino Sarubbo
Modified: 2024-03-07 17:38 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments
build.log (build.log,44.15 KB, text/plain)
2024-03-07 14:50 UTC, Agostino Sarubbo
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Agostino Sarubbo gentoo-dev 2024-03-07 14:50:51 UTC
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
Comment 1 Agostino Sarubbo gentoo-dev 2024-03-07 14:50:52 UTC
Created attachment 886906 [details]
build.log

build log and emerge --info
Comment 2 Maciej Barć gentoo-dev 2024-03-07 15:06:14 UTC
> Compiling ...\nERROR: See make.log.

Ago, please post the make.log
Comment 3 Agostino Sarubbo gentoo-dev 2024-03-07 15:27:51 UTC
(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
Comment 4 Maciej Barć gentoo-dev 2024-03-07 15:32:59 UTC
(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
Comment 5 Larry the Git Cow gentoo-dev 2024-03-07 17:38:07 UTC
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(-)