Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 917789 - sci-mathematics/lean-4.2.0_rc4: Segmentation fault (x86)
Summary: sci-mathematics/lean-4.2.0_rc4: Segmentation fault (x86)
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: x86 Linux
: Normal major
Assignee: Gentoo Science Mathematics related packages
URL:
Whiteboard:
Keywords:
: 925478 (view as bug list)
Depends on:
Blocks:
 
Reported: 2023-11-23 06:15 UTC by Gentookh
Modified: 2024-09-19 22:01 UTC (History)
1 user (show)

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

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Gentookh 2023-11-23 06:15:56 UTC 
When compiling package on x86 I get a lot of "Segmentation fault" on random .lean files compilation. Have to --resume emerge several times until completion.

And even after "successful" compilation it doesn't work as expected:

$ lake build
<hangs without any output>

$ lake exe cache get          
zsh: segmentation fault  lake exe cache get

Reproducible: Sometimes
Comment 1 Sam James archtester Gentoo Infrastructure gentoo-dev Security 2023-11-26 00:26:29 UTC 
Please try to obtain a backtrace (https://wiki.gentoo.org/wiki/Debugging#Per-package).
Comment 2 Maciej Barć gentoo-dev 2024-09-19 14:32:17 UTC 
*** Bug 925478 has been marked as a duplicate of this bug. ***
Comment 3 Larry the Git Cow gentoo-dev 2024-09-19 22:01:42 UTC 
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=77d2f42c3147d7db0e30b8d0b1483bd512e9861f

commit 77d2f42c3147d7db0e30b8d0b1483bd512e9861f
Author:     Maciej Barć <xgqt@gentoo.org>
AuthorDate: 2024-09-19 14:39:00 +0000
Commit:     Maciej Barć <xgqt@gentoo.org>
CommitDate: 2024-09-19 22:01:39 +0000

    sci-mathematics/lean: drop ~x86 KEYWORD
    
    Closes: https://bugs.gentoo.org/917789
    Closes: https://bugs.gentoo.org/928093
    Signed-off-by: Maciej Barć <xgqt@gentoo.org>

 sci-mathematics/lean/lean-4.2.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)