Summary: | dev-lang/idris2-0.6.0 installs '.a' files without static-libs USE (LIBARCHIVE-SYSTEM) | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Agostino Sarubbo <ago> |
Component: | Current packages | Assignee: | Scheme Project <scheme> |
Status: | RESOLVED CANTFIX | ||
Severity: | normal | ||
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Bug Depends on: | |||
Bug Blocks: | 695878 | ||
Attachments: | build.log |
Description
Agostino Sarubbo
2023-01-22 19:31:02 UTC
Created attachment 849045 [details]
build.log
build log and emerge --info
Those static libraries are used internally by Idris C compiler backed, when removed they will break a part of Idris2. See: https://github.com/idris-lang/Idris2/blob/4bedaac81130ed4ccec4329cf633ade7e0372a89/src/Compiler/RefC/CC.idr#L91 |