Bug 917789

Summary:	sci-mathematics/lean-4.2.0_rc4: Segmentation fault (x86)
Product:	Gentoo Linux	Reporter:	Gentookh <ghz3>
Component:	Current packages	Assignee:	Gentoo Science Mathematics related packages <sci-mathematics>
Status:	UNCONFIRMED ---
Severity:	major
Priority:	Normal
Version:	unspecified
Hardware:	x86
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---

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

2023-11-26 00:26:29 UTC

Please try to obtain a backtrace (https://wiki.gentoo.org/wiki/Debugging#Per-package).