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: UNCONFIRMED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: x86 Linux
: Normal major (vote)
Assignee: Gentoo Science Mathematics related packages
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2023-11-23 06:15 UTC by Gentookh
Modified: 2023-11-26 00:26 UTC (History)
0 users

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).